61 search results - page 5 / 13 » Polymorphic Delimited Continuations |
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
TIC
1998
Springer
13 years 11 months ago
1998
Springer
Suppose we translate two different source languages,
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We present a novel, type-logical analysis of polarity sensitivity: how negative polarity items (like any and ever) or positive ones (like some) are licensed or prohibited. It take...
POPL
2003
ACM
14 years 22 days ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...