Typing rst-class continuations in ML (1991)

by Bruce Duba, Robert Harper, David MacQueen
Venue:In Eighteenth ACM Symposium on Principles of Programming Languages