cc-delcont

Delimited continuations and dynamically scoped variables

An implementation of multi-prompt delimited continuations based on the paper, /A Monadic Framework for Delimited Continuations/, by R. Kent Dybvig, Simon Peyton Jones and Amr Sabry (<http://www.cs.indiana.edu/~sabry/papers/monadicDC.pdf>). It also includes a corresponding implementation of dynamically scoped variables, as implemented in the paper, /Delimited Dynamic Binding/, by Oleg Kiselyov, Chung-chieh Shan and Amr Sabry (<http://okmij.org/ftp/papers/DDBinding.pdf>), adapted from the original haskell code, (<http://okmij.org/ftp/packages/DBplusDC.tar.gz>).

homepage ↗