3 search results - page 1 / 1 » A Hierarchy for Delimited Continuations in Call-by-Name |
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
CSL
2004
Springer
13 years 10 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 ...
LISP
2007
13 years 4 months ago
2007
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard callby-value CPS translation, Danvy a...