A reflection on continuation-composing style

DOI10.4230/LIPICS.FSCD.2020.18MaRDI QIDQ6854417zbMATH OpenFDO

Authors Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2020.18

zbMATH Keywords

call-by-value lambda calculuscomputational lambda calculuscontinuation-passing styledelimited controlreflection

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX) Theory of computing (68Qxx)

Cites work

• A sound and complete axiomatization of delimited continuations
• A static simulation of dynamic delimited control
• Axiomatizing subtyped delimited continuations
• Back to direct style
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Continuations: A mathematical semantics for handling full jumps
• Definitional interpreters for higher-order programming languages
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• Subtyping delimited continuations
• The revised report on the syntactic theories of sequential control and state
• Theories of Programming Languages

Cited in

(1)

• Call-by-name is just call-by-value with delimited control

This page was built for publication: A reflection on continuation-composing style

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