THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
Dariusz Biernacki, Olivier Danvy · Journal of Functional Programming · 2005
We formalize and prove the folklore theorem that the static delimited-control operators shift and reset can be simulated in terms of the dynamic delimited-control operators control and prompt. The proof is based on small-step operational semantics.