Typing First-Class Continuations in ML

Robert Harper, Bruce F. Duba, David B. MacQueen. Typing First-Class Continuations in ML. Journal of Functional Programming, 3(4):465-484, 1993.

Abstract

Abstract is missing.