CPS in little pieces: composing partial continuations

DOI10.1017/S0956796801004221MaRDI QIDQ4709846zbMATH OpenFDO

Authors Daniel P. Friedman, Amr Sabry

Publication date 4 September 2003

Published in Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

\(\lambda\)-calculustwo-stage CPS algorithm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Representing Control: a Study of the CPS Transformation
• CPS transformation of flow information, Part II: administrative reductions
• scientific article; zbMATH DE number 2087425
• CPS transformation of beta-redexes
• A first-order one-pass CPS transformation

Cited in

(3)

• Existential continuation
• An Operational Foundation for Delimited Continuations in the CPS Hierarchy
• Compiling with continuations, continued

This page was built for publication: CPS in little pieces: composing partial continuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4709846)