Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I (1960)

Cached

Download Links

by John Mccarthy
Citations:355 - 3 self

Documents Related by Co-Citation

237 A nonrecursive list compacting algorithm – C J Cheney - 1970
253 A real-time garbage collector based on the lifetimes of objects – Henry Lieberman, Carl Hewitt, Danny Hillis - 1983
337 Generation scavenging: A non-disruptive high performance storage reclamation algorithm – D UNGAR - 1984
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1264 Smalltalk80: The Language And Its Implementation – A Goldberg, D Robson - 1983
938 A theory of type polymorphism in programming – Robin Milner - 1978
619 Compiling with continuations – A W Appel - 1992
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele - 1996
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984