Comparing control constructs by double-barrelled CPS

DOI10.1023/A:1020887011500zbMATH Open1029.03017OpenAlexW1829885432MaRDI QIDQ1870488FDOQ1870488

Authors: Hayo Thielecke 

Publication date: 14 May 2003

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020887011500

Recommendations

• Comparing control constructs by double-barrelled CPS transforms
• Representing Control: a Study of the CPS Transformation
• On the call-by-value CPS transform and its semantics
• scientific article; zbMATH DE number 1070627
• A selective CPS transformation

zbMATH Keywords

intuitionistic logicclassical logiccontinuationscontrol operators\(\mathbf J\)-operator

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Cited In (9)

• The worker/wrapper transformation
• Comparing control constructs by double-barrelled CPS transforms
• Combining algebraic effects with continuations
• Region-based resource management and lexical exception handlers in continuation-passing style
• Linear continuation-passing
• A System F with Call-by-Name Exceptions
• Programming Languages and Systems
• A type-theoretic foundation of delimited continuations
• Calculating correct compilers

This page was built for publication: Comparing control constructs by double-barrelled CPS

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