Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform.

Tiark Rompf, Ingo Maier, Martin Odersky

Browse the full ICFP paper archive.