Typing First-Class Continuations in (1993)

by B Duba, R Harper, D MacQueen
Venue:ML, J. Funct. Program