Delimited control in OCaml, abstractly and concretely

DOI10.1016/J.TCS.2012.02.025zbMath1244.68015OpenAlexW2137235328MaRDI QIDQ428889

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

abstract machinesemanticsimplementationdelimited continuationexception

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (3)

A Functional Abstraction of Typed Invocation Contexts ⋮ Effect handlers via generalised continuations ⋮ Delimited control in OCaml, abstractly and concretely

Uses Software

• OCaml

Cites Work

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

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