Typing first-class continuations in ML. Revised and expanded version of [3], in preparation (0)

by Robert Harper, Bruce Duba, David MacQueen