The inadequacy of the -notation for naming recursive
functions was noticed by N. Rochester, and he discovered an
alternative to the solution involving
which has been used
here. The form of subroutine for
which permits its composition
with other functions was invented, in connection with another
programming system, by C. Gerberick and H. L. Gelernter, of IBM
Corporation. The LlSP programming system was developed by a group
including R. Brayton, D. Edwards, P. Fox, L. Hodes, D. Luckham,
K. Maling, J. McCarthy, D. Park, S. Russell.
The group was supported by the M.I.T. Computation Center, and
by the M.I.T. Research Laboratory of Electronics (which is supported
in part by the the U.S. Army (Signal Corps), the U.S. Air Force
(Office of Scientific Research, Air Research and Development Command),
and the U.S. Navy (Office of Naval Research)). The author also wishes
to acknowledge the personal financial support of the Alfred P. Sloan
Foundation.
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. CHURCH, 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 AND K. SAMELS0N, International algebraic language, Preliminary Report, Comm. Assoc. Comp. Mach., Dec. 1958.