You're correct. I was thinking of "Definitional interpreters for higher-order programming languages" <http://portal.acm.org/citation.cfm?id=805852> which is 1972.
On Sat, Aug 29, 2009 at 10:41 PM, David-Sarah Hopwood<[email protected]> wrote: > > [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 > > -- Cheers, --MarkM
