Sciweavers

Share
ICFP
2007
ACM

Functional pearl: the great escape or, how to jump the border without getting caught

10 years 2 months ago
Functional pearl: the great escape or, how to jump the border without getting caught
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts poorly with dynamic bindings like exception handlers. We present a variation on Filinski's encoding of delimited continuations that behaves appropriately in the presence of exceptions and give an implementation in Standard ML of New Jersey. We prove the encoding correct with respect to the semantics of delimited dynamic binding. Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features--Control structures General Terms Languages Keywords continuations, delimited control, dynamic binding
David Herman
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2007
Where ICFP
Authors David Herman
Comments (0)
books