> If nothing else, please use Google. Many will thank you.
>
http://www.google.com/search?hl=en&q=Definitional+Interpreters+for+Higher-Order+Functions&btnG=Search
http://www.brics.dk/~hosc/vol11/contents.html
Definitional Interpreters for Higher-Order Programming Languages
Definitional Interpre
Corrected the links...
1. Programming Languages: Application and Interpretation
Shriram Krishnamurthi
Part VII Continuations
http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/plai-2007-04-26.pdf
2. Essentials of Programming Languages (2nd edition)
Friedman, Wand and Haynes
Chapt
> Can anyone explain:
>
> (1) its origin
>From the Bibliographic Notes of Chapter 12 Continuations in a Functional
Language, Theories of Programming Languages by John C. Reynolds, page 370:
"A history of the repeated discoveries of continuations (occurring largely
in the context of functional lan