chapter

Free access

History of LISP

Author:

John McCarthyAuthors Info & Claims

History of programming languages

June 1978

Pages 173 - 185

https://doi.org/10.1145/800025.1198360

Published: 01 June 1978 Publication History

PDF eReader

References

[1]

Abrahams, Paul W. (1963), Machine Verification of Mathematical Proof. Ph.D. Thesis in Mathematics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[2]

Abrahams, Paul W. (1967), LISP 2 Specifications. Systems Development Corporation Technical Report TM-3417/200/00, Santa Monica, California.]]

Google Scholar

[3]

Abrahams, Paul W., Barnett, J., et al. (1966). The LISP 2 programming language and system. Proceedings of the Fall Joint Computer Conference, pp. 661--676.]]

Digital Library

Google Scholar

[4]

Allen, John (1978). Anatomy of LISP. McGraw Hill, New York.]]

Digital Library

Google Scholar

[5]

Berkeley, Edmund C., and Bobrow, Daniel, eds. (1964). The Programming Language LISP, Its Operation and Applications. Information International Incorporated, Cambridge, Massachusetts (out of print).]]

Google Scholar

[6]

Burstall, R. M., Collins, J. S., and Popplestone, R. J. (1968). The POP-2 Papers. Edinburgh Univ. Press, Edinburgh.]]

Google Scholar

[7]

Burstall, R. M., Collins, J. S., and Popplestone, R. J. (1971). Programming in POP-2. Edinburgh Univ. Press, Edinburgh.]]

Google Scholar

[8]

Cartwright, Robert (1976). A Practical Formal Semantic Definition and Verification System for Typed LISP. Stanford Artificial Intelligence Laboratory Technical Report AIM-296, Stanford, California.]]

Google Scholar

[9]

Cartwright, Robert, and McCarthy, John (1978). Representation of Recursive Programs in First Order Logic (to be published).]]

Google Scholar

[10]

Church, Alonzo (1941). Calculi of Lambda Conversion. Princeton Univ. Press, Princeton, New Jersey.]]

Google Scholar

[11]

Collins, G. E. (1960). A method for overlapping and erasure of lists. Communications of the ACM3: 655--657.]]

Digital Library

Google Scholar

[12]

Fox, Phyllis (1960). LISP 1 Programmers Manual. Internal Paper, MIT, Cambridge, Massachusetts.]]

Google Scholar

[13]

Gelernter, H., Hansen, J. R., and Gerberich, C. L. (1960). A FORTRAN-compiled list processing language. Journal of the ACM7(2): 87--101.]]

Digital Library

Google Scholar

[14]

Gordon, Michael (1973). Models of Pure LISP. Experimental Programming Reports, No. 31, University of Edinburgh, Edinburgh.]]

Google Scholar

[15]

Hearn, Anthony (1967). REDUCE, A User-oriented Interactive System for Algebraic Simplification. Stanford Artificial Intelligence Laboratory Technical Report AIM-57, Stanford, California.]]

Google Scholar

[16]

Hewitt, Carl (1971). Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot. Ph.D. Thesis, MIT, Cambridge, Massachusetts.]]

Google Scholar

[17]

McCarthy, John (1959), Letter to the Editor. CACM2(8).]]

Digital Library

Google Scholar

[18]

McCarthy, John (1960a). Programs with common sense. Proceedings of the Symposium on the Mechanization of Thought Processes. National Physiology Lab., Teddington, England.]]

Google Scholar

[19]

McCarthy, John (1960b), Recursive functions of symbolic expressions and their computation by machine, part I. CACM3(4): 184--195.]]

Digital Library

Google Scholar

[20]

McCarthy, John (1963a). A basis for a mathematical theory of computation. In Computer Programming and Formal Systems, (P. Braffort and D. Hirschberg, eds.), pp. 33--70. North-Holland Pub. Amsterdam.]]

Google Scholar

[21]

McCarthy, John (1963b). Towards a mathematical science of computation. Proceedings of IFIP Congress, Munich, 1962. pp. 21--28. North-Holland Publ., Amsterdam.]]

Google Scholar

[22]

McCarthy, John, and Talcott, Carolyn (1979). LISP: Programming and Proving (to be published). Versions of most chapters are available at the Stanford Artificial Intelligence Laboratory.]]

Google Scholar

[23]

McCarthy, J., Minsky, M., et al. (1959a). Quarterly Progress Report No. 52, Research Lab. of Electronics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[24]

McCarthy, J., Minsky, M., et al. (1959b). Quarterly Progress Report No. 55, Research Lab. of Electronics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[25]

McCarthy, J., Minsky, M., et al. (1960). Quarterly Progress Report No. 56, Research Lab. of Electronics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[26]

McCarthy, J., Minsky, M., et al. (1962a). Quarterly Progress Report No. 63, Research Lab. of Electronics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[27]

McCarthy, J., Minsky, M., et al. (1962b). Quarterly Progress Report No. 64, Research Lab. of Electronics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[28]

McCarthy, John, with Abrahams, P. W., Edwards, D., Hart, T., and Levin, M. (1962c). LISP 1.5 Programmer's Manual. MIT Press, Cambridge, Massachusetts.]]

Digital Library

Google Scholar

[29]

McCarthy, J., Minsky, M., et al. (1963a). Quarterly Progress Report No. 68, Research Lab. of Electronics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[30]

McCarthy, J., Minsky, M., et al. (1963b). Quarterly Progress Report No. 69, Research Lab. of Electronics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[31]

McCarthy, J., Minsky, M., et al. (1965). Quarterly Progress Report No. 76, Research Lab. of Electronics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[32]

McCarthy, J., Minsky, M., et al. (1966). Quarterly Progress Report No. 80, Research Lab. of Electronics, MIT, Cambridge, Massachusetts.]]

Google Scholar

[33]

Marti, J. B., Hearn, A. C., Griss, M. L., and Griss, C. (1978). Standard LISP Report. University of Utah Symbolic Computation Group Report No. 60, Provo, Utah.]]

Google Scholar

[34]

Mathlab Group (1977). MACSYMA Reference Manual. Laboratory for Computer Science, MIT Version 9, Cambridge, Massachusetts.]]

Google Scholar

[35]

Mitchell, R. W. (1964). LISP 2 Specifications Proposal. Stanford Artificial Intelligence Laboratory Memo No. 21, Stanford, California.]]

Google Scholar

[36]

Moon, David A. (1974). MACLISP Reference Manual, Project MAC Technical Report, MIT, Cambridge, Masssachusetts.]]

Google Scholar

[37]

Moses, Joel (1970). The function of FUNCTION in LISP or Why the FUNARG Problem Should Be Called the Environment Problem. MIT Artificial Intelligence Memo 199, Cambridge, Massachusetts.]]

Digital Library

Google Scholar

[38]

Newell, A., and Shaw, J. C. (1957). Programming the logic theory machine. Proceedings of the 1957 Western Joint Computer Conference. IRE. pp. 230--240.]]

Digital Library

Google Scholar

[39]

Rulifson, J., et al. (1968). QA4---A language for writing problem-solving programs. Proceeding IFIP 1968 Congress, TA-2, pp. 111--115.]]

Google Scholar

[40]

Sussman, G. Winograd, T., and Charniak, E. (1970). Microplanner Reference Manual. AI Memo 203, AIL MIT, Cambridge, Massachusetts.]]

Digital Library

Google Scholar

[41]

Teitelman, Warren (1975). INTERLISP: Interlisp Reference Manual. Xerox PARC Technical Report, Palo Alto, California.]]

Google Scholar

[42]

Weisman, Clark (1967). LISP 1.5 Primer. Dickenson Press, Belmont, California.]]

Google Scholar

[43]

Many reports and memoranda of the MIT and Stanford Artificial Intelligence Laboratories have dealt with various aspects of LISP and higher level systems built on LISP.]]

Google Scholar

Cited By

View all

Frölich Dvan Binsbergen LFischer BBurgueño LCazzola W(2022)iCoLa: A Compositional Meta-language with Support for Incremental Language DevelopmentProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567529(202-215)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3567512.3567529
P JBalakrishnan K(2022)Text-to-Speech Synthesis: Literature Review with an Emphasis on Malayalam LanguageACM Transactions on Asian and Low-Resource Language Information Processing10.1145/350139721:4(1-56)Online publication date: 19-Jan-2022
https://dl.acm.org/doi/10.1145/3501397
Mehta KSood VSingh JSharma DChhabra P(2022)Securing Cyber Infrastructure of IoT-Based Networks using AI and ML2022 Seventh International Conference on Parallel, Distributed and Grid Computing (PDGC)10.1109/PDGC56933.2022.10053326(378-383)Online publication date: 25-Nov-2022
https://doi.org/10.1109/PDGC56933.2022.10053326
Show More Cited By

History of LISP
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

The evolution of Lisp
History of programming languages---II

Lisp is the world's greatest programming language---or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Overall, the evolution of Lisp has been ...
The evolution of Lisp
HOPL-II: The second ACM SIGPLAN conference on History of programming languages

Lisp is the world's greatest programming language—or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Overall, the evolution of Lisp has been ...
The evolution of Lisp

Lisp is the world's greatest programming language—or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Overall, the evolution of Lisp has been ...

Comments

Information & Contributors

Information

Published In

History of programming languages

June 1978

782 pages

ISBN:0127450408

DOI:10.1145/800025

Editor:
Richard L. Wexelblat
Sperry Univac, Blue Bell, Pennsylvania

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1978

Permissions

Request permissions for this article.

Request Permissions

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

40
Total Citations
View Citations
3,896
Total Downloads

Downloads (Last 12 months)1,158
Downloads (Last 6 weeks)136

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Frölich Dvan Binsbergen LFischer BBurgueño LCazzola W(2022)iCoLa: A Compositional Meta-language with Support for Incremental Language DevelopmentProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567529(202-215)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3567512.3567529
P JBalakrishnan K(2022)Text-to-Speech Synthesis: Literature Review with an Emphasis on Malayalam LanguageACM Transactions on Asian and Low-Resource Language Information Processing10.1145/350139721:4(1-56)Online publication date: 19-Jan-2022
https://dl.acm.org/doi/10.1145/3501397
Mehta KSood VSingh JSharma DChhabra P(2022)Securing Cyber Infrastructure of IoT-Based Networks using AI and ML2022 Seventh International Conference on Parallel, Distributed and Grid Computing (PDGC)10.1109/PDGC56933.2022.10053326(378-383)Online publication date: 25-Nov-2022
https://doi.org/10.1109/PDGC56933.2022.10053326
Fergus PChalmers CFergus PChalmers C(2022)IntroductionApplied Deep Learning10.1007/978-3-031-04420-5_1(3-24)Online publication date: 19-Jul-2022
https://doi.org/10.1007/978-3-031-04420-5_1
Mehtab FMahmud A(2022)Robots in the Neighborhood: Application and Criminalization of the Artificial Intelligence in EducationTechnologies, Artificial Intelligence and the Future of Learning Post-COVID-1910.1007/978-3-030-93921-2_22(393-410)Online publication date: 17-Feb-2022
https://doi.org/10.1007/978-3-030-93921-2_22
Zhang SSridharan M(2022)A survey of knowledge‐based sequential decision‐making under uncertaintyAI Magazine10.1002/aaai.1205343:2(249-266)Online publication date: 23-Jun-2022
https://dl.acm.org/doi/10.1002/aaai.12053
Sato M(2021)Proof Assistant and Type Theory証明支援系と型理論Kagaku tetsugaku10.4216/jpssj.53.2_353:2(3-23)Online publication date: 31-Mar-2021
https://doi.org/10.4216/jpssj.53.2_3
Gonzalez C(2021)Learning and Dynamic Decision MakingTopics in Cognitive Science10.1111/tops.1258114:1(14-30)Online publication date: 12-Nov-2021
https://doi.org/10.1111/tops.12581
Ingalls D(2020)The evolution of Smalltalk: from Smalltalk-72 through SqueakProceedings of the ACM on Programming Languages10.1145/33863354:HOPL(1-101)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386335
Clinger WWand M(2020)Hygienic macro technologyProceedings of the ACM on Programming Languages10.1145/33863304:HOPL(1-110)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386330
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Recommendations

The evolution of Lisp

The evolution of Lisp

The evolution of Lisp

Comments

Information

Published In

Publisher

Publication History

Permissions

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations