Page Numbers: Yes  X: 306  Y: 1.0"  First Page: 1  Not-on-first-page
Margins:  Top: 1.3"  Bottom:  0.5"
Heading:  z18344l3000x2e2qk40(0,65535)
	3-LISP  REFERENCE  MANUAL	LISP:  LANGUAGE  AND  LITERATURE	  April 16, 1984
l3000d2469y756x2e2qk40(0,2999)(1,8432)(2,16626)(13,0)\f7 1f1 76f0 44f1
3-LISP  REFERENCE  MANUALl3000x3e20c(0,65535)(1,65535)(2,65535)(13,65535)\f5b25f0B
Brian Cantwell Smith
Jim des Rivieresl3000x3e10c
Version 1.03      April 16, 1984l3000x3e10c
Center for the Study of Language and Information, Stanford University, Stanford, CA 94305; andl3000x3e10c
XEROX Palo Alto Research Center, 3333 Coyote Hill Road, Palo Alto, California, 94304l3000x3c\1f1 4f0
Prepared for the "Lisp: Language and Literature" course, taught at CSLI during Spring quarter 1984x3e14c(0,8467)(1,15921)
x3e14(1,15328)
Contentsx3e15c(0,4057)(1,15921)\f9b8B
1.	Introduction	2l3528x3e10j(1,17120)\b15B3b1B
1.a.	Structural Field	2l4233x3j(0,4939)(1,17110)
1.b.	Standard Notation	6l4233x3j
1.c.	Standard Procedures	10l4233x3j
2.	Standard Procedure Guide	12l3528x3j(0,4057)\b27B2b
2.a.	Simple Data Types and Operations	15l4233x3j(0,4939)
2.a.1.	Atoms	15l5292x3j(0,6350)
2.a.2.	Pairs (Redexes)	15l5292x3j
2.a.3.	Sequences and Rails	16l5292x3j
2.a.4.	Numbers and Arithmetic	22l5292x3j
2.a.5.	Truth-values and Booleans	24l5292x3j
2.a.6.	Typing and Identity	25l5292x3j
2.b.	Functions, Definitions, and Control	27l4233x3j(0,4939)
2.b.1.	Definitions, Functions, and Variables	27l5292x3j(0,6350)
2.b.2.	Control Structures	30l5292x3j
2.b.3.	Environments	36l5292x3j
2.b.4.	Closures	38l5292x3j
2.c.	Notation and Communication	42l4233x3j(0,4939)
2.c.1.	Notation, Strings, and Characters	42l5292x3j(0,6350)
2.c.2.	Input and Output	43l5292x3j
2.d.	Explicit Semantics	48l4233x3j(0,4939)
2.d.1.	Semantic Operators	48l5292x3j(0,6350)
2.d.2.	Processor	48l5292x3j
2.d.3.	System Utilities	50l5292x3j
3.	Glossary	51l3528x3j(0,4057)\b11B2b
4.	Index	60l3528x3j\b8B2b
Appendix	"Reflection and Semantics in LISP", 1984 POPL paper	65l3528x3j(0,5952)\b8B54b2B

Copyright c 1984 by The Knights of the Lambda Calculus
y120x3e1c(0,8467)(1,15328)\55f4 1f0 9i35I