Morris, F. Lockwood. The next 700 programming language descriptions. Lisp and Symbolic Computation (1993). Appears in this issue. Original manuscript dated November 1970.  Home/Search   Document Not in Database   Summary   Related Articles

....for converting an arbitrary expression into continuation passing style (CPS) although I didn t call it that at the time. The first reference to CPS of which I am now aware is a 1966 paper by van Wijngaarden [37] CPS was also independently discovered by several others over the next several years [19, 23, 24, 30, 35]. Reynolds [31] pro vides a fascinating historical account of the early discovery and rediscovery of this concept. His paper alerted me to some of the historical references mentioned above. This work was presented in preliminary form at the 1972 ACM Conference on Proving Assertions about ....

Morris, F. Lockwood. The next 700 programming language descriptions. Lisp and Symbolic Computation (1993). Appears in this issue. Original manuscript dated November 1970.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC