(original) (raw)

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