Hostname: page-component-cd9895bd7-fscjk Total loading time: 0 Render date: 2024-12-26T07:18:57.879Z Has data issue: false hasContentIssue false
  • English
  • Français

THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control

Published online by Cambridge University Press:  25 October 2016

DARIUSZ BIERNACKI  and
OLIVIER DANVY
DARIUSZ BIERNACKI
Affiliation:
BRICS
Basic Research in Computer Science (www.brics.dk), funded by the Danish National Research Foundation.
, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark (e-mail: dabi@brics.dk, danvy@brics.dk)
OLIVIER DANVY
Affiliation:
BRICS
Basic Research in Computer Science (www.brics.dk), funded by the Danish National Research Foundation.
, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark (e-mail: dabi@brics.dk, danvy@brics.dk)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Type
Theoretical Pearls
Information
Journal of Functional Programming , Volume 16 , Issue 3 , May 2006 , pp. 269 - 280
Copyright
2005 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.