@cwebber I don't remember seeing a mention of Io in the lambda papers, do you remember which one had anything about first-class continuations?