@inproceedings{AriolaHerbelinSabry04,
  author      = {Zena M. Ariola and Hugo Herbelin and Amr Sabry},
  title       = {A Type-Theoretic Foundation of Continuations and Prompts},
  booktitle   = {Proceedings of the Ninth ACM
                 SIGPLAN International Conference on
                 Functional Programming (ICFP '04), Snowbird,
                 Utah, September 19-21, 2004},
  publisher   = {ACM},
  pages       = {40--53},
  year        = {2004},
  isbn        = {1-58113-905-5},
}