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

Tiark Rompf, Ingo Maier, Martin Odersky. Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 317-328, ACM, 2009. [doi]

@inproceedings{RompfMO09,
  title = {Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform},
  author = {Tiark Rompf and Ingo Maier and Martin Odersky},
  year = {2009},
  doi = {10.1145/1596550.1596596},
  url = {http://doi.acm.org/10.1145/1596550.1596596},
  researchr = {https://researchr.org/publication/RompfMO09},
  cites = {0},
  citedby = {0},
  pages = {317-328},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}