61 search results - page 5 / 13 » Polymorphic Delimited Continuations |
143
click to vote
ECOOP
2008
Springer
15 years 6 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...
125
click to vote
TIC
1998
Springer
15 years 8 months ago
1998
Springer
Suppose we translate two different source languages,
114
click to vote
EDOC
2006
IEEE
15 years 10 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,...
130
click to vote
CORR
2004
Springer
15 years 4 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...
128
click to vote
POPL
2003
ACM
15 years 9 months 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...