Typing first-class continuations in ML (1987)

by B Duba, R Harper, D MacQueen
Venue:Hope+. Imperial College, Department of Computing