4211 search results - page 163 / 843 » Types as Abstract Interpretations |
146
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
122
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
161
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
144
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
Abstract-- Planning resources for a supply chain is a major factor determining its success or failure. In this paper we introduce an Interval Type-2 Fuzzy Logic model of a distribu...
141
click to vote
FUIN
2010
15 years 1 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...