Delimited control and computational effects

DOI10.1017/S0956796813000312zbMATH Open1297.68048MaRDI QIDQ2875223FDOQ2875223

Authors: Paul Downen, Zena M. Ariola 

Publication date: 14 August 2014

Published in: Journal of Functional Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Cites Work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Notions of computation and monads
• The revised report on the syntactic theories of sequential control and state
• On the expressive power of programming languages
• A syntactic theory of sequential control
• A type-theoretic foundation of delimited continuations
• PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume I: Parallel architectures
• A syntactic theory of dynamic binding
• A static simulation of dynamic delimited control

Cited In (8)

• Delimited control in OCaml, abstractly and concretely
• A monadic framework for delimited continuations
• Title not available (Why is that?)
• Logical relations for coherence of effect subtyping
• Compositional semantics for composable continuations: from abortive to delimited control
• On subexponentials, synthetic connectives, and multi-level delimited control
• A systematic approach to delimited control with multiple prompts
• 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)