1768 search results - page 175 / 354 » A Logic for Algebraic Effects |
201
Voted
LICS
2002
IEEE
16 years 6 hour ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
197
Voted
FPCA
1989
15 years 11 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
212
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
184
Voted
ICCAD
1993
IEEE
15 years 11 months ago
1993
IEEE
Current approaches to compute and exploit the flexibility of a component in an FSM network are all at the symbolic level [23, 30, 33, 31]. Conventionally, exploitation of this ï¬...
184
click to vote
AAAI
1994
15 years 8 months ago
1994
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...