Delimited control in OCaml, abstractly and concretely

DOI10.1016/J.TCS.2012.02.025MaRDI QIDQ428889zbMATH OpenOpenAlexFDO

Authors Oleg Kiselyov

Publication date 25 June 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2012.02.025

zbMATH Keywords

semanticsimplementationabstract machinedelimited continuationexception

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Delimited control and computational effects
• A systematic approach to delimited control with multiple prompts
• A monadic framework for delimited continuations
• An Operational Foundation for Delimited Continuations in the CPS Hierarchy
• Typed Dynamic Control Operators for Delimited Continuations

Cites work

• scientific article; zbMATH DE number 1693466 (Why is no real title available?)
• A monadic framework for delimited continuations
• Continuations from generalized stack inspection
• Delimited control in OCaml, abstractly and concretely
• Delimited dynamic binding
• Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
• Implementation strategies for first-class continuations
• Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
• Shifting the stage. Staging with delimited control
• Type dispatch for named hierarchical types

Cited in

(4)

• A systematic approach to delimited control with multiple prompts
• Delimited control in OCaml, abstractly and concretely
• Effect handlers via generalised continuations
• A Functional Abstraction of Typed Invocation Contexts

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Delimited control in OCaml, abstractly and concretely

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