CPS in little pieces: composing partial continuations

DOI10.1017/S0956796801004221zbMATH Open1036.68022MaRDI QIDQ4709846FDOQ4709846

Authors: Daniel P. Friedman, Amr Sabry 

Publication date: 4 September 2003

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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)