Typing First-Class Continuations in ML

Bruce F. Duba, Robert Harper, David B. MacQueen. Typing First-Class Continuations in ML. In POPL. pages 163-173, 1991.

@inproceedings{DubaHM91,
  title = {Typing First-Class Continuations in ML},
  author = {Bruce F. Duba and Robert Harper and David B. MacQueen},
  year = {1991},
  researchr = {https://researchr.org/publication/DubaHM91},
  cites = {0},
  citedby = {0},
  pages = {163-173},
  booktitle = {POPL},
}