@article{AriolaHerbelinSabry07,
  author      = {Zena M. Ariola and Hugo Herbelin and Amr Sabry},
  title       = {A Type-Theoretic Foundation of Delimited Continuations},
  journal     = {Higher Order and Symbolic Computation},
  year        = 2009,
  volume      = 22,
  number      = 3,
  month       = Sep,
  pages       = {233-273},
  issn        = {1388-3690},
  doi         = {http://dx.doi.org/10.1007/s10990-007-9006-0},
  note        = {online from 2007}
}