Using a Continuation Twice and Its Implications for the Expressive Power of call/cc
Higher-Order and Symbolic Computation
A first-order one-pass CPS transformation
Theoretical Computer Science
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
A computational formalization for partial evaluation
Mathematical Structures in Computer Science
Journal of Functional Programming
CPS transformation of beta-redexes
Information Processing Letters
On the static and dynamic extents of delimited continuations
Science of Computer Programming
Call-by-push-value: Decomposing call-by-value and call-by-name
Higher-Order and Symbolic Computation
CPS transformation of beta-redexes
Information Processing Letters
| Hi-index | 0.00 |