Typing continuations in ML (1991)

by Bruce F Duba, Robert Harper, David MacQueen
Venue:In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages