CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
THEORETICAL PEARL: 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. Footnotes1 Basic Research in Computer Science (www.brics.dk), funded by the Danish National Research Foundation. |
Journal of Functional Programming (2006), 16 : 269-280 Cambridge University Press
Copyright © 2005 Cambridge University Press
doi:10.1017/S0956796805005782
Published online by Cambridge University Press 17 Nov 2005
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=433841
Copy and paste this citation
DARIUSZ BIERNACKI
and OLIVIER DANVY
(2006).
THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control. Journal of Functional Programming,
16
,
pp 269-280
doi:10.1017/S0956796805005782
doi:10.1017/S0956796805005782
