Typing First-Class Continuations in ML (1992)

by Robert Harper, Bruce F. Duba, David Macqueen