"Typing First-Class Continuations in ML."

Bruce F. Duba, Robert Harper, David B. MacQueen (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics