19 search results - page 1 / 4 » Lazy evaluation and delimited control |
199
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
96
Voted
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...
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...
96
Voted
CSL
2004
Springer
15 years 5 months ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
85
Voted
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
