Delimited control in OCaml, abstractly and concretely

DOI10.1016/J.TCS.2012.02.025zbMATH Open1244.68015OpenAlexW2137235328MaRDI QIDQ428889FDOQ428889

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

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

zbMATH Keywords

semanticsimplementationabstract machinedelimited continuationexception

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

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

Cited In (4)

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

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)