Bruce F. Duba, Robert Harper, David B. MacQueen
Typing First-Class Continuations in ML
POPL, 1991.
@inproceedings{POPL-1991-DubaHM,
author = "Bruce F. Duba and Robert Harper and David B. MacQueen",
booktitle = "{Conference Record of the 18th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/99583.99608",
editor = "David S. Wise",
isbn = "0-89791-419-8",
pages = "163--173",
publisher = "{ACM Press}",
title = "{Typing First-Class Continuations in ML}",
year = 1991,
}