Typing first-class continuations in ML (1991)

by Bruce Duba, Robert Harper, David MacQueen
Venue:In ACM-SIGPLAN ACM-SIGACT, editor, Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages (POPL ’91