Control reduction theories: the benefit of structural substitution

DOI10.1017/S0956796807006612zbMath1138.68020MaRDI QIDQ3503192

Zena M. Ariola, Hugo Herbelin

Publication date: 22 May 2008

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Unnamed Item ⋮ Classical Call-by-Need and Duality ⋮ A type-theoretic foundation of delimited continuations ⋮ An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form

Cites Work

• The revised report on the syntactic theories of sequential control and state
• Confluence by decreasing diagrams
• A proof-theoretic foundation of abortive continuations
• Trampolined style
• The duality of computation

This page was built for publication: Control reduction theories: the benefit of structural substitution