Typing rstclass continuations in ML (1993)

by Robert Harper, Bruce F Duba, David MacQueen
Venue:Journal of Functional Programming