Sciweavers

Share
JFP
2007

A monadic framework for delimited continuations

9 years 2 months ago
A monadic framework for delimited continuations
Delimited continuations are more expressive than traditional abortive continuations and they apparently require a framework beyond traditional continuation-passing style (CPS). We show that this is not the case: standard CPS is sufficient to explain the common control operators for delimited continuations. We demonstrate this fact and present an implementation as a Scheme library. We then investigate a typed account of delimited continuations that makes explicit where control effects can occur. This results in a monadic framework for typed and encapsulated delimited continuations, which we design and implement as a Haskell library.
R. Kent Dybvig, Simon L. Peyton Jones, A. M. R. Sa
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JFP
Authors R. Kent Dybvig, Simon L. Peyton Jones, A. M. R. Sabry
Comments (0)
books