Comparing control constructs by double-barrelled CPS transforms

DOI10.1016/S1571-0661(04)80974-5MaRDI QIDQ4917068zbMATH OpenOpenAlexFDO

Authors Hayo Thielecke

Publication date 26 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80974-5

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Comparing control constructs by double-barrelled CPS
• Representing Control: a Study of the CPS Transformation
• A call-by-name CPS hierarchy
• scientific article; zbMATH DE number 1070627
• Typed Dynamic Control Operators for Delimited Continuations

Cites work

• A generalization of jumps and labels
• An introduction to Landin's ``A generalization of jumps and labels
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Continuations: A mathematical semantics for handling full jumps
• scientific article; zbMATH DE number 1538034 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• Reflections on Landin's J-operator: A partly historical note

Cited in

(4)

• Comparing control constructs by double-barrelled CPS
• On the call-by-value CPS transform and its semantics
• scientific article; zbMATH DE number 1722643 (Why is no real title available?)
• scientific article; zbMATH DE number 1070627 (Why is no real title available?)

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

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