Delimited control in OCaml, abstractly and concretely
From MaRDI portal
Publication:428889
DOI10.1016/j.tcs.2012.02.025zbMath1244.68015MaRDI QIDQ428889
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
68N15: Theory of programming languages
Related Items
Effect handlers via generalised continuations, Delimited control in OCaml, abstractly and concretely
Uses Software
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