Continuation calculus

zbMATH Open1471.68062arXiv1309.1257MaRDI QIDQ4957790FDOQ4957790

Authors: Bram Geron, Herman Geuvers 

Publication date: 9 September 2021

Full work available at URL: https://arxiv.org/abs/1309.1257

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

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)

Cites Work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Title not available (Why is that?)
• A syntactic theory of sequential control
• Representing Control: a Study of the CPS Transformation
• Title not available (Why is that?)
• A monadic framework for delimited continuations
• Control reduction theories: the benefit of structural substitution

Cited In (5)

• Hoare-style reasoning with (algebraic) continuations
• TUTORIAL ON CONTINUATION
• Title not available (Why is that?)
• 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)