[email protected] wrote: > /** > + * Historic note: I believe the first invention of this abstraction [what Scheme calls "call with escape continuation"] > + * is by John C. Reynolds circa 1967. XXX find name of > + * paper. Reynold's invention was a special form as in E, rather > + * than a higher order function as here and in call/ec. > */
1967 sounds a bit early. If this were correct it would be surprising that it isn't mentioned in: John C. Reynolds. "The discoveries of continuations". Lisp and Symbolic Computation, 6(3-4):233–248, 1993. <ftp://ftp.cs.cmu.edu/user/jcr/histcont.pdf> ("On the relation between direct and continuation semantics" by Reynolds also sounds relevant, but I can't find an on-line copy.) -- David-Sarah Hopwood ⚥ http://davidsarah.livejournal.com
