Recursive functions of symbolic expressions and their computation by machine, Part I

@article{McCarthy1960RecursiveFO,
  title={Recursive functions of symbolic expressions and their computation by machine, Part I},
  author={J. McCarthy},
  journal={Commun. ACM},
  year={1960},
  volume={3},
  pages={184-195}
}
  • J. McCarthy
  • Published 1960
  • Computer Science
  • Commun. ACM
  • A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. The system was designed to facilitate experiments with a proposed system called the Advice Taker, whereby a machine could be instructed to handle declarative as well as imperative sentences and could exhibit “common sense” in carrying out its instructions. The original proposal [1] for the Advice Taker was made in November 1958. The main requirement… CONTINUE READING
    1,426 Citations
    The Evolution of Programming Languages
    • 6
    • PDF
    McCarthy’s LISP and Basis for Theory of Computation
    • PDF
    A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
    • J. Slagle
    • Mathematics, Computer Science
    • JACM
    • 1963
    • 177
    • PDF
    The Architecture of Lisp Machines
    • 26
    Programs=data=first-class citizens in a computational world
    • N. Jones, J. Simonsen
    • Mathematics, Medicine
    • Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
    • 2012
    • 1
    • PDF
    Standard LISP (reprint)
    • 7

    References

    Manual, IBM Corporation, New York, Oct
    • 15,
    • 1956