A Simple Proof of a Folklore Theorem about Delimited Control
AbstractWe 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.
How to Cite
Biernacki, D., & Danvy, O. (2005). A Simple Proof of a Folklore Theorem about Delimited Control. BRICS Report Series, 12(25). https://doi.org/10.7146/brics.v12i25.21892
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.