THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
From MaRDI portal
Publication:5472306
DOI10.1017/S0956796805005782zbMath1092.68021OpenAlexW2152394998MaRDI QIDQ5472306
Dariusz Biernacki, Olivier Danvy
Publication date: 9 June 2006
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796805005782
Related Items (6)
A Functional Abstraction of Typed Invocation Contexts ⋮ A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ A static simulation of dynamic delimited control ⋮ A monadic framework for delimited continuations ⋮ Unnamed Item ⋮ On the dynamic extent of delimited continuations
This page was built for publication: THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
