Typing continuations (1993)

by R Harper, B F Duba, D MacQueen
Venue:in ML. Journal of Functional Programming