Axiomatizing subtyped delimited continuations

DOI10.4230/LIPICS.CSL.2013.521MaRDI QIDQ2958543zbMATH OpenOpenAlexFDO

Authors Marek Materzok

Publication date 2 February 2017

Full work available at URL http://dx.doi.org/10.4230/LIPIcs.CSL.2013.521

zbMATH Keywords

axiomatizationcontinuation passing styledelimited continuations

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A sound and complete axiomatization of delimited continuations
• Subtyping delimited continuations
• Sound and complete axiomatisations of call-by-value control operators
• Computer Science Logic
• A type-theoretic foundation of delimited continuations

Cited in

(19)

• Axioms for recursion in call-by-value
• Axioms for control operators in the CPS hierarchy
• scientific article; zbMATH DE number 1701354 (Why is no real title available?)
• An approach to call-by-name delimited continuations
• On subexponentials, synthetic connectives, and multi-level delimited control
• A Substructural Type System for Delimited Continuations
• scientific article; zbMATH DE number 1497842 (Why is no real title available?)
• Logical relations for coherence of effect subtyping
• Sound and complete axiomatisations of call-by-value control operators
• A Functional Abstraction of Typed Invocation Contexts
• Typed equivalence of effect handlers and delimited control
• Subtyping delimited continuations
• A sound and complete axiomatization of delimited continuations
• Computer Science Logic
• Bisimulations for delimited-control operators
• Typed Dynamic Control Operators for Delimited Continuations
• Understanding algebraic effect handlers via delimited control operators
• Call-by-name is just call-by-value with delimited control
• A reflection on continuation-composing style

This page was built for publication: Axiomatizing subtyped delimited continuations

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