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

• Type: Conference
• Year: 2007
• Where: ICFP
• Authors: David Herman
• Keywords: Delimited Continuations, Delimited Control Operators, Delimited Dynamic Binding, ICFP 2007, Programming Languages