Continuation calculus

MaRDI QIDQ4957790zbMATH OpenFDO

Authors Bram Geron, Herman Geuvers

Publication date 9 September 2021

Full work available at URL https://arxiv.org/abs/1309.1257, http://eptcs.web.cse.unsw.edu.au/paper.cgi?COS2013.5

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other nonclassical models of computation (68Q09) Functional programming and lambda calculus (68N18)

Recommendations

• A type system for continuation calculus
• scientific article; zbMATH DE number 7340561
• Programs with continuations and linear logic
• Programs with continuations and linear logic
• Sound and complete axiomatisations of call-by-value control operators

Cites work

• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 2038761 (Why is no real title available?)
• A monadic framework for delimited continuations
• A syntactic theory of sequential control
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Control reduction theories: the benefit of structural substitution
• Representing Control: a Study of the CPS Transformation

Cited in

(5)

• Hoare-style reasoning with (algebraic) continuations
• TUTORIAL ON CONTINUATION
• scientific article; zbMATH DE number 769597 (Why is no real title available?)
• Continuation models for the lambda calculus with constructors
• A type system for continuation calculus

This page was built for publication: Continuation calculus

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