1

J. McCARTHY, Programs with common sense, Paper presented at the Symposium on the Mechanization of Thought Processes, National Physical Laboratory, Teddington, England, Nov. 24-27, 1958. (Published in Proceedings of the Symposium by H. M. Stationery Office).

2

A. NEWELL AND J. C. SHAW, Programming the logic theory machine, Proc. Western Joint Computer Conference, Feb. 1957.

3

A. CmmcH, The Calculi of Lambda-Conversion (Princeton University Press, Princeton, N. J., 1941).

4

FORTRAN Programmer's Reference Manual, IBM Corporation, New York, Oct. 15, 1956.

5

A. J. Perlis , K. Samelson, Preliminary report: international algebraic language, Communications of the ACM, v.1 n.12, p.8-22, Dec. 1958  [doi>10.1145/377924.594925]

Feng Xian , Witawas Srisa-an , Hong Jiang, Garbage collection: Java application servers' Achilles heel, Science of Computer Programming, v.70 n.2-3, p.89-110, February, 2008

Robert Muller, M-LISP: a representation-independent dialect of LISP with reduction semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.4, p.589-616, Oct. 1992

Benjamin Zorn, Comparing mark-and sweep and stop-and-copy garbage collection, Proceedings of the 1990 ACM conference on LISP and functional programming, p.87-98, June 27-29, 1990, Nice, France

C. Farshid Nourani, Abstract Implementations and Their Correctness Proofs, Journal of the ACM (JACM), v.30 n.2, p.343-359, April 1983

Ward Douglas Maurer, Computer experiments in finite algebra, Communications of the ACM, v.9 n.8, p.598-603, Aug. 1966

W. H. Burge, The evaluation, classification and interpretation of expressions, Proceedings of the 1964 19th ACM national conference, p.11.401-11.4022, January 1964

A. J. Perlis , Renato Iturriaga, An extension to ALGOL for manipulating formulae, Communications of the ACM, v.7 n.2, p.127-130, Feb. 1964

Jean-Claude Raoult , Jean Vuillemin, Operational and semantic equivalence between recursive programs., Proceedings of the tenth annual ACM symposium on Theory of computing, p.75-85, May 01-03, 1978, San Diego, California, United States

Fred H. Lakin, Computing with text-graphic forms, Proceedings of the 1980 ACM conference on LISP and functional programming, p.100-106, August 25-27, 1980, Stanford University, California, United States

David Ungar , Frank Jackson, Tenuring policies for generation-based storage reclamation, ACM SIGPLAN Notices, v.23 n.11, p.1-17, Nov. 1988

Douglas W. Clark, An efficient list-moving algorithm using constant workspace, Communications of the ACM, v.19 n.6, p.352-356, June 1976

R. D. Tennent, The denotational semantics of programming languages, Communications of the ACM, v.19 n.8, p.437-453, Aug. 1976

Philip L. Wadler, Analysis of an algorithm for real time garbage collection, Communications of the ACM, v.19 n.9, p.491-500, Sept. 1976

Trenchard More, The nested rectangular array as a model of data, ACM SIGAPL APL Quote Quad, v.9 n.4, p.55-73, June 1979

Brian W. Kernighan , P. J. Plauger, Programming Style: Examples and Counterexamples, ACM Computing Surveys (CSUR), v.6 n.4, p.303-319, Dec. 1974

R. J. Nelson, Invited papers—1: basic concepts of automata theory, Proceedings of the 1965 20th national conference, p.138-161, August 24-26, 1965, Cleveland, Ohio, United States

Herbert Stoyan, Early LISP history (1956 - 1959), Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.299-310, August 06-08, 1984, Austin, Texas, United States

Daniel P. Friedman , David S. Wise, Aspects of applicative programming for file systems (Preliminary Version), ACM SIGSOFT Software Engineering Notes, v.2 n.2, p.41-55, March 1977

Fred M. Tonge, A view of artificial intelligence, Proceedings of the 1966 21st national conference, p.379-382, January 1966

R. S. Boyer , J. S. Moore , R. E. Shostak, Primitive recursive program transformation, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.171-174, January 19-21, 1976, Atlanta, Georgia

William M. Waite , H. Schorr, A note on the formation of free list, Communications of the ACM, v.7 n.8, p.478, Aug. 1964

Barry K. Rosen, Tree-Manipulating Systems and Church-Rosser Theorems, Journal of the ACM (JACM), v.20 n.1, p.160-187, Jan. 1973

M. Castan , E. I. Organick, µ3L: An HLL-RISC processor for parallel execution of FP-language programs, ACM SIGARCH Computer Architecture News, v.10 n.3, p.239-247, April 1982

John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978

Mike O'Donnell, Subtree replacement systems: A unifying theory for recursive equations, LISP, lucid and combinatory logic, Proceedings of the ninth annual ACM symposium on Theory of computing, p.295-305, May 04-04, 1977, Boulder, Colorado, United States

Jean-Claude Raoult , Jean Vuillemin, Operational and Semantic Equivalence Between Recursive Programs, Journal of the ACM (JACM), v.27 n.4, p.772-796, Oct. 1980

Douglas W. Clark, A fast algorithm for copying list structures, Communications of the ACM, v.21 n.5, p.351-357, May 1978

James R. McGraw, The VAL Language: Description and Analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.44-82, Jan. 1982

Hanan Samet, Compiler testing via symbolic interpretation, Proceedings of the annual conference, p.492-497, October 20-22, 1976, Houston, Texas, United States

J. Hagelstein, Proving properties of shared data structures application to functional programming, Proceedings of the ACM '82 conference, p.142-148, January 1982

Alan Demers , James Donahue, Making variables abstract: an equational theory for Russell, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.59-72, January 24-26, 1983, Austin, Texas

Jay Earley, Toward an understanding of data structures, Communications of the ACM, v.14 n.10, p.617-627, Oct. 1971

Guy L. Steele, Jr., Multiprocessing compactifying garbage collection, Communications of the ACM, v.18 n.9, p.495-508, Sept. 1975

José M. Piquer, Indirect distributed garbage collection: handling object migration, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.5, p.615-647, Sept. 1996

C. A. R. Hoare , D. C. S. Allison, Incomputability, ACM Computing Surveys (CSUR), v.4 n.3, p.169-178, Sept. 1972

Matthew Flatt , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen, Programming languages as operating systems (or revenge of the son of the lisp machine), ACM SIGPLAN Notices, v.34 n.9, p.138-147, Sept. 1999

Robert R. Fenichel, List tracing in systems allowing multiple cell-types, Communications of the ACM, v.14 n.8, p.522-526, Aug. 1971

Joseph Weizenbaum, Recovery of reentrant list structures in SLIP, Communications of the ACM, v.12 n.7, p.370-372, July 1969

Lorenz Huelsbergen , Phil Winterbottom, Very concurrent mark-&-sweep garbage collection without fine-grain synchronization, ACM SIGPLAN Notices, v.34 n.3, p.166-175, March 1999

H. Schorr , W. M. Waite, An efficient machine-independent procedure for garbage collection in various list structures, Communications of the ACM, v.10 n.8, p.501-506, Aug. 1967

Lorenz Huelsbergen , James R. Larus, A concurrent copying garbage collector for languages that distinguish (im)mutable data, ACM SIGPLAN Notices, v.28 n.7, p.73-82, July 1993

Leland H. Williams, Algebra of Polynomials in Several Variables for a Digital Computer, Journal of the ACM (JACM), v.9 n.1, p.29-40, Jan. 1962

Saul Gorn, Mechanical languages: a course specification, Communications of the ACM, v.7 n.4, p.219-222, April 1964

David F. Bacon , Clement R. Attanasio , Han B. Lee , V. T. Rajan , Stephen Smith, Java without the coffee breaks: a nonintrusive multiprocessor garbage collector, ACM SIGPLAN Notices, v.36 n.5, p.92-103, May 2001

Ronald E. Prather, Proposal for a categorical programming language, ACM SIGPLAN Notices, v.25 n.4, p.43-50, April 1990

Clair W. Goldsmith, The design of a procedureless programming language, ACM SIGPLAN Notices, v.9 n.4, p.13-24, April 1974

Walter Dosch , Bernhard Möller>, Busy and lazy FP with infinite objects, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.282-292, August 06-08, 1984, Austin, Texas, United States

Perry Cheng , Robert Harper , Peter Lee, Generational stack collection and profile-driven pretenuring, ACM SIGPLAN Notices, v.33 n.5, p.162-173, May 1998

Marshall V. Van Alstyne, A proposal for valuing information and instrumental goods, Proceeding of the 20th international conference on Information Systems, p.328-345, December 12-15, 1999, Charlotte, North Carolina, United States

Andrew W. Appel, Real-time concurrent collection on stock multiprocessors, ACM SIGPLAN Notices, v.39 n.4, April 2004

R. A. Brooker , D. Morris, A General Translation Program for Phrase Structure Languages, Journal of the ACM (JACM), v.9 n.1, p.1-10, Jan. 1962

Saleh E. Abdullahi , Graem A. Ringwood, Garbage collecting the Internet: a survey of distributed garbage collection, ACM Computing Surveys (CSUR), v.30 n.3, p.330-373, Sept. 1998

John McCarthy, LISP - notes on its past and future, Proceedings of the 1980 ACM conference on LISP and functional programming, p..5-viii, August 25-27, 1980, Stanford University, California, United States

Hanan Samet, Proving the correctness of heuristically optimized code, Communications of the ACM, v.21 n.7, p.570-582, July 1978

Hanan Samet, A normal form for compiler testing, ACM SIGPLAN Notices, v.12 n.8, p.155-162, August 1977

Ronaldo Menezes, Experience with memory management in open Linda systems, Proceedings of the 2001 ACM symposium on Applied computing, p.187-196, March 2001, Las Vegas, Nevada, United States

M. V. Wilkes, Constraint-type statements in programming languages, Communications of the ACM, v.7 n.10, p.587-588, Oct. 1964

W. T. Comfort, Multiword list items, Communications of the ACM, v.7 n.6, June 1964

William H. Burge, A reprogramming machine, Communications of the ACM, v.9 n.2, p.60-66, Feb. 1966

Barry K. Rosen, Tree-manipulating systems and Church-Rosser Theorems, Proceedings of the second annual ACM symposium on Theory of computing, p.117-127, May 04-06, 1970, Northampton, Massachusetts, United States

Nicholas Pippenger, Pure versus impure Lisp, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.2, p.223-238, March 1997

Russell J. Abbott, Knowledge abstraction, Communications of the ACM, v.30 n.8, p.664-671, Aug. 1987

Robert Muller, M-LISP: its natural semantics and equational logic, ACM SIGPLAN Notices, v.26 n.9, p.234-242, Sept. 1991

Edward F. Storm, CHAMP—character manipulation procedures, Communications of the ACM, v.11 n.8, p.561-566, Aug. 1968

Daniel G. Bobrow, Requirements for advanced programming systems for list processing, Communications of the ACM, v.15 n.7, p.618-627, July 1972

Robert R. Fenichel, List-tracing in systems allowing multiple cell-types, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.242-247, March 23-25, 1971, Los Angeles, California, United States

Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974

John A. Sharp, Data oriented program design, ACM SIGPLAN Notices, v.15 n.9, p.44-57, September 1980

Christoph M. Hoffmann , Michael J. O`Donnell, Implementation of an interpreter for abstract equations, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.111-121, January 15-18, 1984, Salt Lake City, Utah, United States

Douglas T. Ross, A generalized technique for symbol manipulation and numerical calculation, Communications of the ACM, v.4 n.3, p.147-150, March 1961

R. M. Shapiro, Artificial languages: Computers, connector systems, and data descriptions, Proceedings of the 1962 ACM national conference on Digest of technical papers, p.72-73, September 01-01, 1962

Ben Wegbreit, Mechanical program analysis, Communications of the ACM, v.18 n.9, p.528-539, Sept. 1975

D. J. Farber , R. E. Griswold , I. P. Polonsky, SNOBOL , A String Manipulation Language, Journal of the ACM (JACM), v.11 n.1, p.21-30, Jan. 1964

Wan Fokkink , Jasper Kamperman , Pum Walters, Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.3, p.679-706, May 1998

Jacques Cohen, A view of the origins and development of Prolog, Communications of the ACM, v.31 n.1, p.26-36, Jan. 1988

Johannes J. Martin, FAD, a functional programming language that supports abstract data types, Proceedings of the ACM 1980 annual conference, p.247-262, January 1980

Robert R. Fenichel , Jerome C. Yochelson, A LISP garbage-collector for virtual-memory computer systems, Communications of the ACM, v.12 n.11, p.611-612, Nov. 1969

Adolfo Guzmán , Harold V. McIntosh, CONVERT, Communications of the ACM, v.9 n.8, p.604-615, Aug. 1966

Nicholas Pippenger, Pure versus impure Lisp, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.104-109, January 21-24, 1996, St. Petersburg Beach, Florida, United States

John C. Reynolds, Definitional interpreters for higher-order programming languages, Proceedings of the ACM annual conference, p.717-740, August 01-01, 1972, Boston, Massachusetts, United States

Robert L. Constable, On the theory of programming logics, Proceedings of the ninth annual ACM symposium on Theory of computing, p.269-285, May 04-04, 1977, Boulder, Colorado, United States

John Backus, Programming language semantics and closed applicative languages, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.71-86, October 01-03, 1973, Boston, Massachusetts

Steven S. Muchnick , Uwe F. Pleban, A semantic comparison of LISP and SCHEME, Proceedings of the 1980 ACM conference on LISP and functional programming, p.56-64, August 25-27, 1980, Stanford University, California, United States

James R. Slagle, A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Journal of the ACM (JACM), v.10 n.4, p.507-520, Oct. 1963

Guy L. Steele, Jr., An overview of COMMON LISP, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.98-107, August 15-18, 1982, Pittsburgh, Pennsylvania, United States

Alan C. Kay, The early history of Smalltalk, ACM SIGPLAN Notices, v.28 n.3, p.69-95, March 1993

Daniel P. Friedman , David S. Wise , Mitchell Wand, Recursive programming through table look-up, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.85-89, August 10-12, 1976, Yorktown Heights, New York, United States

Christoph M. Hoffmann , Michael J. O'Donnell, An interpreter generator using tree pattern matching, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.169-179, January 29-31, 1979, San Antonio, Texas

D. L. Overheu, An Abstract Machine for Symbolic Computation, Journal of the ACM (JACM), v.13 n.3, p.444-468, July 1966

W. E. Gull , M. A. Jenkins, Recursive data structures and related control mechanisms in APL, Proceedings of the eighth international conference on APL, p.201-210, September 22-24, 1976, Ottawa, Canada

John H. Williams, On the Development of the Algebra of Functional Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.733-757, Oct. 1982

Jean-Jacques Girardot, The A+ programming language, a different APL, ACM SIGAPL APL Quote Quad, v.20 n.4, p.149-160, July 1990

Allen Newell , Herbert A. Simon, Computer science as empirical inquiry: symbols and search, Communications of the ACM, v.19 n.3, p.113-126, March 1976

Terry Flaherty, A differentiation primitive for extended &lgr;-calculus, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.9-16, February 1988, Atlanta, Georgia, United States

J. Barkley Rosser, Highlights of the history of the lambda-calculus, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.216-225, August 15-18, 1982, Pittsburgh, Pennsylvania, United States

Oleg Kiselyov, SXML specification, ACM SIGPLAN Notices, v.37 n.6, June 2002

Salvador Lucas, Context-sensitive rewriting strategies, Information and Computation, v.178 n.1, p.294-343, October 10, 2002

David Ungar, Generation Scavenging: A non-disruptive high performance storage reclamation algorithm, ACM SIGPLAN Notices, v.19 n.5, p.157-167, May 1984

Perry Cheng , Guy E. Blelloch, A parallel, real-time garbage collector, ACM SIGPLAN Notices, v.36 n.5, p.125-136, May 2001

George E. Collins, A method for overlapping and erasure of lists, Communications of the ACM, v.3 n.12, p.655-657, Dec. 1960

David Ungar , Frank Jackson, An adaptive tenuring policy for generation scavengers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.1, p.1-27, Jan. 1992

J. Arsac , Y. Kodratoff, Some Techniques for Recursion Removal from Recursive Functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.295-322, April 1982

Yoo C. Chung , Soo-Mook Moon , Kemal Ebcioğlu , Dan Sahlin, Reducing sweep time for a nearly empty heap, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.378-389, January 19-21, 2000, Boston, MA, USA

David A. Gudeman, Denotational semantics of a goal-directed language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.1, p.107-125, Jan. 1992

Mathew N. Matelan, MPACT: microprocessor application to control-firmware translator, ACM SIGDA Newsletter, v.5 n.1, p.13-41, March 1975

Christoph M. Hoffman , Michael J. O'Donnell, Programming with Equations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.83-112, Jan. 1982

B. Lee , A. R. Hurson , B. Shirazi, A Hybrid Scheme for Processing Data Structures in a Dataflow Environment, IEEE Transactions on Parallel and Distributed Systems, v.3 n.1, p.83-96, January 1992

Rinus Plasmeijer , Marko van Eekelen, Keep it clean: a unique approach to functional programming., ACM SIGPLAN Notices, v.34 n.6, June 1999

John Beidler , Yaodong Bi , Robert McCloskey, A recursive list paradigm with Java and C++ implementations, Journal of Computing Sciences in Colleges, v.17 n.6, p.197-205, May 2002

Ulrich Berger , Matthias Eberl , Helmut Schwichtenberg, Term rewriting for normalization by evaluation, Information and Computation, v.183 n.1, p.19-42, May 25, 2003

Yoo C. Chung , Soo-Mook Moon , Kemal Ebcioğlu , Dan Sahlin, Selective sweeping, Software—Practice & Experience, v.35 n.1, p.15-26, January 2005

Richard Fateman, High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense, Proceedings of the 2003 international symposium on Symbolic and algebraic computation, p.88-94, August 03-06, 2003, Philadelphia, PA, USA

Luís Veiga , Paulo Ferreira, RepWeb: replicated Web with referential integrity, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida

Hezi Azatchi , Yossi Levanoni , Harel Paz , Erez Petrank, An on-the-fly mark and sweep garbage collector based on sliding views, ACM SIGPLAN Notices, v.38 n.11, November 2003

Guy Lewis Steele, Jr., Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO, Proceedings of the 1977 annual conference, p.153-162, January 1977

J. Weizenbaum, Knotted list structures, Communications of the ACM, v.5 n.3, p.161-165, March 1962

J. C. Reynolds, Programming languages for non-numeric processing—2: An introduction to the COGENT programming system, Proceedings of the 1965 20th national conference, p.422-436, August 24-26, 1965, Cleveland, Ohio, United States

Edward A. Lee , Thomas M. Parks, Dataflow process networks, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001

John Aycock, A brief history of just-in-time, ACM Computing Surveys (CSUR), v.35 n.2, p.97-113, June 2003

Paul Hudak, Conception, evolution, and application of functional programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.359-411, Sep. 1989

John C. Reynolds, G/EDANKEN—a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, v.13 n.5, p.308-319, May 1970

Masayuki Ishii , Kazuhisa Ohta , Hiroaki Saito, An efficient parser generator for natural language, Proceedings of the 15th conference on Computational linguistics, August 05-09, 1994, Kyoto, Japan

Trenchard More, Jr., Transfinite nesting in array-theoretic figures, changes, rigs, and arms. Part I, ACM SIGAPL APL Quote Quad, v.24 n.1, p.170-184, Aug. 1993

Paul G. Whiting , Robert S. V. Pascoe, A History of Data-Flow Languages, IEEE Annals of the History of Computing, v.16 n.4, p.38-59, December 1994

F.-H. Raymond, An Adventure with a Sad Ending: The SEA, IEEE Annals of the History of Computing, v.11 n.4, p.263-277, December 1989

David A. Fisher, A survey of control structures in programming languages, ACM SIGPLAN Notices, v.7 n.11, November 1972

Narendran Sachindran , J. Eliot B. Moss , Emery D. Berger, MC²: high-performance garbage collection for memory-constrained environments, ACM SIGPLAN Notices, v.39 n.10, October 2004

David F. Bacon , Perry Cheng , David Grove, Garbage collection for embedded systems, Proceedings of the 4th ACM international conference on Embedded software, September 27-29, 2004, Pisa, Italy

David F. Bacon , Perry Cheng , V. T. Rajan, A unified theory of garbage collection, ACM SIGPLAN Notices, v.39 n.10, October 2004

D. L. Ogbokor, LISP language as part of "advanced programming techniques" for computer science, computer mathematics, and computer economics students, ACM SIGCSE Bulletin, v.17 n.4, p.94-95, December 1985

Stephen W. Smoliar, Approaches to executable specifications, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.155-159, December 1982

John McCarthy, History of LISP, ACM SIGPLAN Notices, v.13 n.8, p.217-223, August 1978

Aditya Agrawal , Gabor Karsai , Akos Ledeczi, An end-to-end domain-driven software development framework, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA

Theodore D. Lassagne, Recursive definitions for iterative algorithms, ACM SIGPLAN Notices, v.10 n.12, December 1975

J. Weizenbaum, Knotted list structures, Proceedings of the 1961 16th ACM national meeting, p.52.301-52.304, January 1961

Cliff B. Jones, The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, v.25 n.2, p.26-49, April 2003

Cliff Click , Gil Tene , Michael Wolf, The pauseless GC algorithm, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA

Alan C. Kay, The early history of Smalltalk, History of programming languages---II, ACM Press, New York, NY, 1996

L. Orman, Functional Development of Database Applications, IEEE Transactions on Software Engineering, v.14 n.9, p.1280-1292, September 1988

Teed Rockwell, Attractor Spaces as Modules: A Semi-Eliminative Reduction of Symbolic AI to Dynamic Systems Theory, Minds and Machines, v.15 n.1, p.23-55, February 2005

Viktor Kuncak , Daniel Jackson, Relational analysis of algebraic datatypes, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005

Kurt Walk, Modelling of storage properties of higher level languages, ACM SIGPLAN Notices, v.6 n.2, February 1971

Matthew Hertz , Emery D. Berger, Quantifying the performance of garbage collection vs. explicit memory management, ACM SIGPLAN Notices, v.40 n.10, October 2005

Daniel Spoonhower , Guy Blelloch , Robert Harper, Using page residency to balance tradeoffs in tracing garbage collection, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA

D. F. Bacon , X. Shen, Braids and fibers: language constructs with architectural support for adaptive responses to memory latencies, IBM Journal of Research and Development, v.50 n.2/3, p.209-221, March 2006

Allen L. Ambler , Margaret M. Burnett , Betsy A. Zimmerman, Operational versus definitional: a perspective on programming paradigms, Computer, v.25 n.9, p.28-43, September 1992

James H. Morris , Eric Schmidt , Philip Wadler, Experience with an applicative string processing language, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.32-46, January 28-30, 1980, Las Vegas, Nevada

Fay Chang , Jeffrey Dean , Sanjay Ghemawat , Wilson C. Hsieh , Deborah A. Wallach , Mike Burrows , Tushar Chandra , Andrew Fikes , Robert E. Gruber, Bigtable: A Distributed Storage System for Structured Data, ACM Transactions on Computer Systems (TOCS), v.26 n.2, p.1-26, June 2008

Paul Hudak , Simon Peyton Jones , Philip Wadler , Brian Boutel , Jon Fairbairn , Joseph Fasel , María M. Guzmán , Kevin Hammond , John Hughes , Thomas Johnsson , Dick Kieburtz , Rishiyur Nikhil , Will Partain , John Peterson, Report on the programming language Haskell: a non-strict, purely functional language version 1.2, ACM SIGPLAN Notices, v.27 n.5, p.1-164, May 1992

Timothy J. McEntee, Overview of garbage collection in symbolic computing, ACM SIGPLAN Lisp Pointers, v.1 n.3, p.8-16, August-September 1987

Jack B. Dennis, Bibliography, Record of the Project MAC conference on concurrent systems and parallel computation, ACM, New York, NY, 1970

Gerard Tel , Friedemann Mattern, The derivation of distributed termination detection algorithms from garbage collection schemes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.1-35, Jan. 1993

Rasmus Pedersen , Martin Schoeberl, Exact roots for a real-time garbage collector, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, October 11-13, 2006, Paris, France

Feng Xian , Witawas Srisa-an , Hong Jiang, Investigating throughput degradation behavior of Java application servers: a view from inside a virtual machine, Proceedings of the 4th international symposium on Principles and practice of programming in Java, August 30-September 01, 2006, Mannheim, Germany

Aparecido Valdemir de Freitas , João José Neto, Conception of adaptive programming languages, Proceedings of the 17th IASTED international conference on Modelling and simulation, p.453-458, May 24-26, 2006, Montreal, Canada

Sunil Soman , Laurent Daynès , Chandra Krintz, Task-aware garbage collection in a multi-tasking virtual machine, Proceedings of the 2006 international symposium on Memory management, June 10-11, 2006, Ottawa, Ontario, Canada

A. M. Cheadle , A. J. Field , J. W. Ayres , N. Dunn , R. A. Hayden , J. Nystrom-Persson, Visualising dynamic memory allocators, Proceedings of the 2006 international symposium on Memory management, June 10-11, 2006, Ottawa, Ontario, Canada

Konstantinos Sagonas , Jesper Wilhelmsson, Mark and split, Proceedings of the 2006 international symposium on Memory management, June 10-11, 2006, Ottawa, Ontario, Canada

John Healey, Yaccscript: a platform for intersecting high-level languages, Proceedings of the 44th annual southeast regional conference, March 10-12, 2006, Melbourne, Florida

Salvador Lucas, Proving termination of context-sensitive rewriting by transformation, Information and Computation, v.204 n.12, p.1782-1846, December, 2006

John McCarthy, History of LISP, History of programming languages I, ACM Press, New York, NY, 1978

David F. Bacon, Realtime garbage collection, Queue, v.5 n.1, February 2007

B. W. Kernighan , P. J. Plauger, Programming style: examples and counterexamples, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

Fay Chang , Jeffrey Dean , Sanjay Ghemawat , Wilson C. Hsieh , Deborah A. Wallach , Mike Burrows , Tushar Chandra , Andrew Fikes , Robert E. Gruber, Bigtable: a distributed storage system for structured data, Proceedings of the 7th conference on USENIX Symposium on Operating Systems Design and Implementation, p.15-15, November 06-08, 2006, Seattle, WA

Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California

B. Orgun , M. Dras , A. Nayak , G. James, Approaches for semantic interoperability between domain ontologies, Proceedings of the second Australasian workshop on Advances in ontologies, p.41-50, December 05-05, 2006, Hobart, Australia

Stephen M. Blackburn , Kathryn S. McKinley, Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance, ACM SIGPLAN Notices, v.43 n.6, June 2008

Magorzata Biernacka , Olivier Danvy, A syntactic correspondence between context-sensitive calculi and abstract machines, Theoretical Computer Science, v.375 n.1-3, p.76-108, May, 2007

Chin-Yang Lin , Ting-Wei Hou, A simple and efficient algorithm for cycle collection, ACM SIGPLAN Notices, v.42 n.3, p.7-13, March 2007

D. Knuth, Structured programming with go to statements, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979

John McCarthy, A basis for a mathematical theory of computation, preliminary report, Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference, May 09-11, 1961, Los Angeles, California

S. E. Bazhanov , V. P. Kutepov , D. A. Shestakov, Functional Parallel Typified Language and Its Implementation on Clusters, Programming and Computing Software, v.31 n.5, p.237-269, September 2005

Daniel E. Cooke , Vladik Kreinovich , Joseph E. Urban, Designing Interdisciplinary Approaches To Problem Solving Into Computer Languages, Journal of Integrated Design & Process Science, v.6 n.3, p.29-43, August 2002

Juan Llorens , Rubén Prieto-Díaz, Is KS=(D+I+S+K)*E + KM?, ACM SIGSOFT Software Engineering Notes, v.28 n.2, March 2003

Dines Bjørner, Pinnacles of software engineering: 25 years of formal methods, Annals of Software Engineering, v.10 n.1-4, p.11-66, 2000

Daniel E. Cooke , David Dampier, A real-time version of SequenceL, Annals of Software Engineering, v.7 n.1-4, p.157-176, 1999

Masahiko Sato , Takafumi Sakurai , Rod Burstall, Explicit Environments, Fundamenta Informaticae, v.45 n.1-2, p.79-115, January 2001

Erick Gallesio , Manuel Serrano, Skribe: a functional authoring language, Journal of Functional Programming, v.15 n.5, p.751-770, September 2005

C. K. Yuen , W. F. Wong, A self interpreter for BaLinda Lisp, ACM SIGPLAN Notices, v.25 n.7, p.39-58, July 1990

Harold V. McIntosh , Gerardo Cisneros, The programming languages REC and convert, ACM SIGPLAN Notices, v.25 n.7, p.81-94, July 1990

Paul W. Abrahams, Typographical extensions for programming languages: breaking out of the ASCII straitjacket, ACM SIGPLAN Notices, v.28 n.2, p.61-68, Feb. 1993

Bruno Achauer, Objects in real-time systems: issues for language implementors, ACM SIGPLAN OOPS Messenger, v.7 n.1, p.21-27, Jan. 1996

Allen Newell , Herbert A. Simon, Computer science as empirical inquiry: symbols and search, ACM Turing award lectures, ACM, New York, NY, 2007

Henry G. Baker, Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.2-27, Oct. 1993

Amnon H. Eden, Three Paradigms of Computer Science, Minds and Machines, v.17 n.2, p.135-167, July 2007

Nandakumar Sankaran, A bibliography on garbage collection and related topics, ACM SIGPLAN Notices, v.29 n.9, p.149-158, Sept. 1994

Jürgen Giesl, Induction Proofs with Partial Functions, Journal of Automated Reasoning, v.26 n.1, p.1-49, January 2001

B. Lang , F. Dupont, Incremental incrementally compacting garbage collection, ACM SIGPLAN Notices, v.22 n.7, p.253-263, July 1987

Nigel W. O. Hutchison , Ute Neuhaus , Manfred Schmidt-Schauss , Cordy V. Hall, NATURAL EXPERT: a commercial functional programming environment, Journal of Functional Programming, v.7 n.2, p.163-182, March 1997

Andrew W. Appel, Book review: Garbage Collection: Algorithms for Automatic Dynamic Memory Management by Richard Jones and Rafael Lins, John Wiley & Sons, 1996., Journal of Functional Programming, v.7 n.2, p.227-229, March 1997

Luc Moreau, A Syntactic Theory of Dynamic Binding, Higher-Order and Symbolic Computation, v.11 n.3, p.233-279, 1998

John C. Reynolds, Definitional Interpreters for Higher-Order Programming Languages, Higher-Order and Symbolic Computation, v.11 n.4, p.363-397, December 1998

Olivier Danvy, On listing list prefixes, ACM SIGPLAN Lisp Pointers, v.2 n.3-4, p.42-47, January-June 1989

Matthew A. Hammer , Umut A. Acar, Memory management for self-adjusting computation, Proceedings of the 7th international symposium on Memory management, June 07-08, 2008, Tucson, AZ, USA

Thomas L. Jones, A computer model of simple forms of learning in infants, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada

Delvin C. Defoe , Rob LeGrand , Ron K. Cytron, On the connection between functional programming languages and real-time Java scoped memory, Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, September 26-28, 2007, Vienna, Austria

John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, ACM Turing award lectures, ACM, New York, NY, 2007

Michael Goldwasser , David Letscher, Teaching strategies for reinforcing structural recursion with lists, Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion, October 21-25, 2007, Montreal, Quebec, Canada

Robert Keller , Martin Hunt , Stephen Jones , David Morrison , Aaron Wolin , Steven Gomez, Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant, Electronic Notes in Theoretical Computer Science (ENTCS), 193, p.47-60, November, 2007

Derek Rayside , Lucy Mendel, Object ownership profiling: a technique for finding and fixing memory leaks, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA

Fay Chang , Jeffrey Dean , Sanjay Ghemawat , Wilson C. Hsieh , Deborah A. Wallach , Mike Burrows , Tushar Chandra , Andrew Fikes , Robert E. Gruber, Bigtable: a distributed storage system for structured data, Proceedings of the 7th symposium on Operating systems design and implementation, November 06-08, 2006, Seattle, Washington

Robin Garner , Stephen M. Blackburn , Daniel Frampton, Effective prefetch for mark-sweep garbage collection, Proceedings of the 6th international symposium on Memory management, October 21-22, 2007, Montreal, Quebec, Canada

Pascal Costanza , Richard P. Gabriel , Robert Hirschfeld , Guy L. Steele, Jr., Lisp50: The 50th birthday of lisp at OOPSLA 2008, Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, October 19-23, 2008, Nashville, TN, USA

Carl Engelman, MATHLAB: a program for on-line machine assistance in symbolic computations, Proceedings of the November 30--December 1, 1965, fall joint computer conference, part II: computers: their impact on society, November 30-December 01, 1965, Las Vegas, Nevada

Robert T. Moore, A screening method for large information retrieval systems, Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference, May 09-11, 1961, Los Angeles, California

Douglas T. Ross , Jorge E. Rodriguez, Theoretical foundations for the computer-aided design system, Proceedings of the May 21-23, 1963, spring joint computer conference, May 21-23, 1963, Detroit, Michigan

Amnon H. Eden , Raymond Turner, Problems in the ontology of computer programs, Applied Ontology, v.2 n.1, p.13-36, January 2007

Herbert Stoyan, LISP history, ACM Lisp Bulletin

Thomas G. Evans, A heuristic program to solve geometric-analogy problems, Proceedings of the April 21-23, 1964, spring joint computer conference, April 21-23, 1964, Washington, D.C.

Earl B. Hunt , Carl I. Hovland, Programming a model of human concept formulation, Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference, May 09-11, 1961, Los Angeles, California

C. Engelman, MATHLAB: a program for on-line machine assistance in symbolic computations, Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I, November 30-December 01, 1965, Las Vegas, Nevada

Clay McFarland, A language-oriented computer design, Proceedings of the November 17-19, 1970, fall joint computer conference, November 17-19, 1970, Houston, Texas

Erik J. Sandewall, LISP A: a lisp-like system for incremental computing, Proceedings of the April 30--May 2, 1968, spring joint computer conference, April 30-May 02, 1968, Atlantic City, New Jersey

Zohar Manna, Termination of programs represented as interpreted graphs, Proceedings of the May 5-7, 1970, spring joint computer conference, May 05-07, 1970, Atlantic City, New Jersey

Chris Hawblitzel , Erez Petrank, Automated verification of practical garbage collectors, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA

Gary H. Sockut , Balakrishna R. Iyer, Online reorganization of databases, ACM Computing Surveys (CSUR), v.41 n.3, p.1-136, July 2009

José A. Joao , Onur Mutlu , Yale N. Patt, Flexible reference-counting-based hardware acceleration for garbage collection, ACM SIGARCH Computer Architecture News, v.37 n.3, June 2009

Tillmann Rendel , Klaus Ostermann , Christian Hofer, Typed self-representation, ACM SIGPLAN Notices, v.44 n.6, June 2009

Edward A. Feigenbaum, Panel: history of artificial intelligence research, 1956-61, Proceedings of the 6th international joint conference on Artificial intelligence, p.1103-1105, August 20-23, 1979, Tokyo, Japan

Lawrence G. Tester , Horace J. Enea , David C. Smith, The LISP70 pattern matching system, Proceedings of the 3rd international joint conference on Artificial intelligence, p.671-676, August 20-23, 1973, Stanford, USA

L. Peter Deutsch, A LISP machine with very compact programs, Proceedings of the 3rd international joint conference on Artificial intelligence, p.697-703, August 20-23, 1973, Stanford, USA

Rodney A. Brooks, Intelligence without reason, Proceedings of the 12th international joint conference on Artificial intelligence, p.569-595, August 24-30, 1991, Sydney, New South Wales, Australia

Tristan Crolard , Emmanuel Polonowski , Pierre Valarcher, Extending the loop language with higher-order procedural variables, ACM Transactions on Computational Logic (TOCL), v.10 n.4, p.1-37, August 2009

John McCarthy: colleagues