Subtyping delimited continuations

DOI10.1145/2034773.2034786MaRDI QIDQ5176965zbMATH OpenOpenAlexFDO

Authors Marek Materzok, Dariusz Biernacki

Publication date 5 March 2015

Published in Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2034773.2034786

zbMATH Keywords

continuation-passing styledelimited continuationsubtypingtype system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Axiomatizing subtyped delimited continuations
• A Substructural Type System for Delimited Continuations
• Polymorphic Delimited Continuations
• A type-theoretic foundation of delimited continuations
• Typed Dynamic Control Operators for Delimited Continuations

Cited in

(20)

• Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
• From control effects to typed continuation passing
• Axiomatizing subtyped delimited continuations
• Shifting the blame. A blame calculus with delimited control
• Polymorphic Delimited Continuations
• A Substructural Type System for Delimited Continuations
• Logical relations for coherence of effect subtyping
• A Functional Abstraction of Typed Invocation Contexts
• Typed equivalence of effect handlers and delimited control
• Verifying selective CPS transformation for shift and reset
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Continuation passing style for effect handlers
• Bisimulations for delimited-control operators
• Typed Dynamic Control Operators for Delimited Continuations
• Understanding algebraic effect handlers via delimited control operators
• A functional abstraction of typed invocation contexts
• Call-by-name is just call-by-value with delimited control
• A reflection on continuation-composing style
• A type-theoretic foundation of delimited continuations
• On typing delimited continuations: Three new solutions to the printf problem

This page was built for publication: Subtyping delimited continuations

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