On the call-by-value CPS transform and its semantics

DOI10.1016/j.ic.2003.08.001zbMath1078.68095OpenAlexW2035102150MaRDI QIDQ1887170

Carsten Führmann, Hayo Thielecke

Publication date: 23 November 2004

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2003.08.001

zbMATH Keywords

SemanticsLambda-calculusMonadsCategoriesContinuations

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (2)

Combining algebraic effects with continuations ⋮ On the observational theory of the CPS-calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Revised report on the algorithmic language scheme
• A generalization of jumps and labels
• The \(\pi\)-calculus in direct style
• Continuations: A mathematical semantics for handling full jumps
• Axioms for recursion in call-by-value
• Control categories and duality: on the categorical semantics of the lambda-mu calculus
• Thunks
• Thunks and the λ-calculus
• Premonoidal categories and notions of computation
• Sound and complete axiomatisations of call-by-value control operators
• Declarative continuations: An investigation of duality in programming language semantics

This page was built for publication: On the call-by-value CPS transform and its semantics