Typing continuations in ML (1991)

by B F Duba, R Harper, D MacQueen
Venue:In 18th symposium Principles of Programming Languages