275 search results - page 1 / 55 » Delimited dynamic binding |
86
Voted
ICFP
2007
ACM
16 years 9 days ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
96
Voted
ICFP
2006
ACM
16 years 9 days ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
101
Voted
ICFP
2007
ACM
16 years 9 days ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
112
Voted
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
97
Voted
LISP
2007
15 years 7 days ago
2007
We present a continuation-passing-style (CPS) transformation for some dynamic delimited-control operators, including Felleisen’s control and prompt, that extends a standard call-...