@article{DBLP:journals/jfp/HarperDM93,
  author    = {Robert Harper and
               Bruce F. Duba and
               David B. MacQueen},
  title     = {Typing First-Class Continuations in ML},
  journal   = {J. Funct. Program.},
  volume    = {3},
  number    = {4},
  year      = {1993},
  pages     = {465-484},
  ee        = {http://dx.doi.org/10.1017/S095679680000085X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}