Delimited control in OCaml, abstractly and concretely
From MaRDI portal
(Redirected from Publication:428889)
Recommendations
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)
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)