Delimited control and computational effects
From MaRDI portal
Publication:2875223
Recommendations
- A systematic approach to delimited control with multiple prompts
- Compositional semantics for composable continuations: from abortive to delimited control
- Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- A monadic framework for delimited continuations
Cites work
- A static simulation of dynamic delimited control
- A syntactic theory of dynamic binding
- A syntactic theory of sequential control
- A type-theoretic foundation of delimited continuations
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Notions of computation and monads
- On the expressive power of programming languages
- PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume I: Parallel architectures
- The revised report on the syntactic theories of sequential control and state
Cited in
(8)- A systematic approach to delimited control with multiple prompts
- Delimited control in OCaml, abstractly and concretely
- Compositional semantics for composable continuations: from abortive to delimited control
- A monadic framework for delimited continuations
- On subexponentials, synthetic connectives, and multi-level delimited control
- Logical relations for coherence of effect subtyping
- scientific article; zbMATH DE number 7243675 (Why is no real title available?)
- Proceedings of the first workshop on control operators and their semantics, COS 2013, Eindhoven, The Netherlands, June 24--25, 2013
This page was built for publication: Delimited control and computational effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875223)
