[Haskell-cafe] Origin of Delimited Continuation Operators

aditya siram

unread,

Jun 24, 2012, 10:13:08 PM6/24/12

to haskell-cafe

Hi all,
I working through a few papers and Oleg's delimited continuation
implementation and I'm wondering how the operators (shift, shift0P,
control, reset, etc) got their name.
-deech

_______________________________________________
Haskell-Cafe mailing list
Haskel...@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Stephen Tetley

unread,

Jun 25, 2012, 1:02:05 PM6/25/12

to aditya siram, haskell-cafe

You could try working back from the references in Dorai Sitaram's
"Handling Control" 1993, which is an important paper in the Scheme
community covering this area.

http://www.cs.rice.edu/CS/PLT/Publications/Scheme/pldi93-s.ps.gz

Shift for instance is referenced back to at least Davy and Filinski's
"Abstracting Control" 1990.

Stephen Tetley

unread,

Jun 25, 2012, 1:04:15 PM6/25/12

to aditya siram, haskell-cafe

On 25 June 2012 18:02, Stephen Tetley <stephen...@gmail.com> wrote:

> Shift for instance is referenced back to at least Davy and Filinski's
> "Abstracting Control" 1990.

Typo - Olivier _Danvy_ not "Davy"

Reply all

Reply to author

Forward