Delimited dynamic binding

DOI10.1145/1159803.1159808zbMath1321.68128OpenAlexW2098983494MaRDI QIDQ5501456

Chung-Chieh Shan, Amr Sabry, Oleg Kiselyov

Publication date: 3 August 2015

Published in: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1159803.1159808

zbMATH Keywords

monadsdynamic bindingdelimited continuations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items

Functional un\(|\)unparsing, Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala, Delimited control in OCaml, abstractly and concretely, No value restriction is needed for algebraic effects and handlers, A static simulation of dynamic delimited control

Uses Software

• Haskell
• OCaml