Theoretical Pearl: A simple proof of a folklore theorem about delimited control

Dariusz Biernacki, Olivier Danvy. Theoretical Pearl: A simple proof of a folklore theorem about delimited control. Journal of Functional Programming, 16(3):269-280, 2006. [doi]

Abstract

Abstract is missing.