A monadic framework for delimited continuations

DOI10.1017/S0956796807006259MaRDI QIDQ5428371zbMATH OpenFDO

Authors R. Kent Dyvbig, Amr Sabry, Simon Peyton-Jones

Publication date 22 November 2007

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796807006259

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Polymorphic Delimited Continuations
• Delimited control and computational effects
• Typed Dynamic Control Operators for Delimited Continuations
• An Operational Foundation for Delimited Continuations in the CPS Hierarchy
• A type-theoretic foundation of delimited continuations

Cites work

• A syntactic theory of sequential control
• Notions of computation and monads
• The Zipper
• THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control

Cited in

(17)

• Functional un\(|\)unparsing
• Continuous monads
• A static simulation of dynamic delimited control
• Delimited control and computational effects
• On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation
• Delimited control in OCaml, abstractly and concretely
• Continuation calculus
• A Functional Abstraction of Typed Invocation Contexts
• Effect handlers via generalised continuations
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• scientific article; zbMATH DE number 7297867 (Why is no real title available?)
• Imperative streams—a monadic combinator library for synchronous programming
• Bisimulations for delimited-control operators
• Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
• Disjunctive delimited control
• Understanding algebraic effect handlers via delimited control operators
• A type-theoretic foundation of delimited continuations

This page was built for publication: A monadic framework for delimited continuations

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