A Simple Proof of a Folklore Theorem about Delimited Control

Dariusz Biernacki; Olivier Danvy

doi:10.7146/brics.v12i25.21892

A Simple Proof of a Folklore Theorem about Delimited Control

Authors

Dariusz Biernacki
Olivier Danvy

DOI:

https://doi.org/10.7146/brics.v12i25.21892

Abstract

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.

Downloads

Published

2005-08-11

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