Comparing control constructs by double-barrelled CPS

DOI10.1023/A:1020887011500MaRDI QIDQ1870488zbMATH OpenOpenAlexFDO

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

\(\mathbf J\)-operatorclassical logiccontinuationscontrol operatorsintuitionistic logic

Mathematics Subject Classification ID

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

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

(11)

• Using a continuation twice and its implications for the expressive power of call/cc
• Linear continuation-passing
• A System F with Call-by-Name Exceptions
• The worker/wrapper transformation
• scientific article; zbMATH DE number 1070627 (Why is no real title available?)
• Comparing control constructs by double-barrelled CPS transforms
• Programming Languages and Systems
• Calculating correct compilers
• Region-based resource management and lexical exception handlers in continuation-passing style
• Combining algebraic effects with continuations
• A type-theoretic foundation of delimited continuations

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)