A Monadic Framework for Delimited Continuations

by R. Kent Dybvig , Simon Peyton Jones , Amr Sabry

Venue:	UNDER CONSIDERATION FOR PUBLICATION IN J. FUNCTIONAL PROGRAMMING
Citations:	10 - 2 self

User correction supplied by mph

Datum	Value	Source
TITLE	A Monadic Framework for Delimited Continuations	user correction
AUTHOR NAME	R. Kent Dybvig	user correction
AUTHOR AFFIL	Indiana University Microsoft Research Indiana University	user correction
AUTHOR NAME	Simon Peyton Jones	user correction
AUTHOR AFFIL	Indiana University Microsoft Research Indiana University	user correction
AUTHOR NAME	Amr Sabry	user correction
AUTHOR AFFIL	Indiana University Microsoft Research Indiana University	user correction
ABSTRACT	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.	user correction
VENUE	UNDER CONSIDERATION FOR PUBLICATION IN J. FUNCTIONAL PROGRAMMING	user correction
CITATIONS	42 found	ParsCit 1.0