Typing rst-class continuations in ML. Revised and expanded version of [4]. To appear, Journal of Functional Programming (0)

by Robert Harper, Bruce Duba, David MacQueen