Linearly-Used Continuations in the Enriched Effect Calculus

DOI10.1007/978-3-642-12032-9_3MaRDI QIDQ3557841zbMATH OpenOpenAlexFDO

Authors J. M. Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Publication date 27 April 2010

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12032-9_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Enriching an Effect Calculus with Linear Types
• Linear-use CPS translations in the enriched effect calculus
• The enriched effect calculus: syntax and semantics
• scientific article; zbMATH DE number 1956521
• scientific article; zbMATH DE number 1942458
• Using refinement calculus techniques to prove linearizability
• A linearization of the Lambda-calculus and consequences
• scientific article; zbMATH DE number 2152687
• Continuation semantics for the Lambek-Grishin calculus
• Consistency and interpolation in linear continuous logic

Cited in

(7)

• The enriched effect calculus: syntax and semantics
• Linearly-used state in models of call-by-value
• Linear-use CPS translations in the enriched effect calculus
• Enriching an Effect Calculus with Linear Types
• scientific article; zbMATH DE number 1942458 (Why is no real title available?)
• Functional and Logic Programming
• Linear usage of state

This page was built for publication: Linearly-Used Continuations in the Enriched Effect Calculus

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