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}, }