Typed equivalence of effect handlers and delimited control

DOI10.4230/LIPICS.FSCD.2019.30MaRDI QIDQ5089033FDOQ5089033

Authors: Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski 

Publication date: 18 July 2022

Recommendations

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

zbMATH Keywords

algebraic effectsdelimited controltype-and-effect systemsmacro expressibility

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• Practical foundations for programming languages
• Comprehending monads
• On the expressive power of programming languages
• A syntactic approach to type soundness
• The type and effect discipline
• Guarded recursive datatype constructors
• Handling algebraic effects
• Shallow effect handlers
• On typing delimited continuations: Three new solutions to the printf problem
• A static simulation of dynamic delimited control
• Title not available (Why is that?)
• Type directed compilation of row-typed algebraic effects

Cited In (6)

• A Functional Abstraction of Typed Invocation Contexts
• Asymptotic speedup via effect handlers
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• From control effects to typed continuation passing
• Understanding algebraic effect handlers via delimited control operators
• Effect handlers via generalised continuations

This page was built for publication: Typed equivalence of effect handlers and delimited control

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