Delimited control and computational effects

DOI10.1017/S0956796813000312zbMath1297.68048MaRDI QIDQ2875223

Zena M. Ariola, Paul Downen

Publication date: 14 August 2014

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

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Cites Work

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

This page was built for publication: Delimited control and computational effects