Typing first-class continuations in ML (1991)

by B F Duba, R Harper, D B MacQueen
Venue:In Proc. POPL 1991