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

Volume 16
Issue 03 - May 2006
Add to Basket £30.00 / $45.00
Request Permissions
Cited by Articles (CrossRef)
Cited by Articles (Google Scholar)
Citation Alert
Go to Next Abstract in TOC
Go to Previous Abstract in TOC
Blog this Article close

Copy and paste this code to insert a reference to this article in your blog or online community profile:

Highlight All
<div style="background: #FFFFFF; margin: 10px 10px 10px 10px; padding: 10px 10px 10px 20px; text-align: left; border-top: 1px dashed #a5bbd1; border-left: 10px solid #a5bbd1; font-family: Verdana, Geneva, sans-serif;"><br> <div style="font-size: 12px; padding: 0px 0px 10px 0px; font-weight:bold; color: #003366;">THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control</div><br><div style="font-size: 10px;"><b>DARIUSZ BIERNACKI and OLIVIER DANVY (2006).</b><br /> <a href="http://journals.cambridge.org/action/displayJournal?jid=JFP">Journal of Functional Programming</a>, <a href="http://journals.cambridge.org/action/displayJournal?jid=JFP&volumeId=16&bVolume=y#loc16 ">Volume 16</a>, <a href="http://journals.cambridge.org/action/displayIssue?jid=JFP&volumeId=16&issueId=03&iid=433841"> Issue 03</a>, May 2006 pp 269-280 <br/> <a href="http://journals.cambridge.org/action/displayAbstract?aid=433841">http://journals.cambridge.org/action/displayAbstract?aid=433841</a></div></div>
The code will display like this:

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

DARIUSZ BIERNACKI and OLIVIER DANVY (2006).
Journal of Functional Programming, Volume 16, Issue 03, May 2006 pp 269-280 http://journals.cambridge.org/action/displayAbstract?aid=433841

Blog this Article

Journal of Functional Programming (2006), 16 : 269-280 Cambridge University Press

Copyright © 2005 Cambridge University Press

doi:10.1017/S0956796805005782 (About doi)

Published online by Cambridge University Press 17 Nov 2005

Social Bookmarking

Journal of Functional Programming (2006), 16:3:269-280 Cambridge University Press
Copyright © 2005 Cambridge University Press
doi:10.1017/S0956796805005782

Theoretical Pearls

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

DARIUSZ BIERNACKI ^a1 and OLIVIER DANVY ^a1
^a1 BRICS ¹ , Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark (e-mail: dabi@brics.dk, danvy@brics.dk)

Article author query

biernacki d [Google Scholar]

danvy o [Google Scholar]

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.

Footnotes

¹ Basic Research in Computer Science (www.brics.dk), funded by the Danish National Research Foundation.

Username or Email Address	Password

Cambridge Journals Online

Journal of Functional Programming (2006), 16 : 269-280 Cambridge University Press

Copyright © 2005 Cambridge University Press

doi:10.1017/S0956796805005782 (About doi)

Published online by Cambridge University Press 17 Nov 2005

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

Abstract

Footnotes