Typed Dynamic Control Operators for Delimited Continuations
From MaRDI portal
Publication:5458440
DOI10.1007/978-3-540-78969-7_18zbMATH Open1137.68346OpenAlexW4239126285MaRDI QIDQ5458440FDOQ5458440
Authors: Yukiyoshi Kameyama, Takuo Yonezawa 
Publication date: 11 April 2008
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78969-7_18
Recommendations
Cited In (20)
- A Functional Abstraction of Typed Invocation Contexts
- Polymorphic Delimited Continuations
- A Substructural Type System for Delimited Continuations
- On typing delimited continuations: Three new solutions to the printf problem
- Comparing control constructs by double-barrelled CPS transforms
- Delimited control in OCaml, abstractly and concretely
- A monadic framework for delimited continuations
- Delimited dynamic binding
- A static simulation of dynamic delimited control
- A functional abstraction of typed invocation contexts
- From control effects to typed continuation passing
- Understanding algebraic effect handlers via delimited control operators
- Validating Brouwer's continuity principle for numbers using named exceptions
- On the dynamic extent of delimited continuations
- Shifting the blame. A blame calculus with delimited control
- On the static and dynamic extents of delimited continuations
- On the unification of classical, intuitionistic and affine logics
- Title not available (Why is that?)
- Subtyping delimited continuations
- No value restriction is needed for algebraic effects and handlers
This page was built for publication: Typed Dynamic Control Operators for Delimited Continuations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458440)
