A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Back to Direct Style II: First-Class Continuations
1996
BRICS Report Series
<p>The direct-style transformation aims at mapping continuation-passing programs back to direct style, be they originally written in continuation-passing style or the result of the continuation-passing-style transformation. In this paper, we continue to investigate the direct-style transformation by extending it to programs with first-class continuations.</p><p>First-class continuations break the stack-like discipline of continuations in that they are sent results out of turn. We detect them
doi:10.7146/brics.v3i20.19982
fatcat:o22ttk3fxrhqtauf53yphn6764