Comparing control constructs by double-barrelled CPS

DOI10.1023/A:1020887011500MaRDI QIDQ1870488zbMATHOpenAlexFDO

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

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)

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

Cited in

(9)

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