Map
Index
Random
Help
Quotes
Subtopics
Referenced
th

QuoteRef: mccaJ_1960

all references > ThesaHelp: references m-o


--topics--
ACM references m-z
data type as constructors, selectors, and predicates
function application
if-then-else test chain
list processing
lists

--subtopics--
application syntax
examples
list implementation
short-circuit evaluation of test chain
symbolic processing

--referenced--
ACM references m-z
data type as constructors, selectors, and predicates
function application
if-then-else test chain
list processing
lists

Reference

McCarthy, J., "Recursive functions of symbolic expressions and their computation by machines," Communications of the ACM, 3, p. 184-195, 1960

Note

about LISP

Quotes up

QuoteRef: mccaJ_1960 ;;184 conditional expressions (predicate -> exp, predicate -> exp etc) e.g., p or q is (p->q, T->F).
QuoteRef: mccaJ_1960 ;;187 Lists made of ordered pairs (S expressions) must terminate with nil
QuoteRef: mccaJ_1960 ;;187 Lisp has predicates (atom, eq-- true iff two equal atoms), selectors (carr -- 1st element, cdr -- last element of pair) and constructors (cons -- construct and ordered pair)
QuoteRef: mccaJ_1960 ;;187 LABEL (function-name, lambda-expressing) and APPLY (function, arg list

Collected barberCB 1980
Copyright © 2002-2023 by C.B. Barber
Thesa, Avev, and thid-... are trademarks of C.B. Barber