Structure and Interpretation of Computer Programs

Overview and Introduction to Lisp – Procedures and Processes; Substitution Model – Higher-order Procedures – Compound Data – Henderson Escher Example – Symbolic Differentiation; Quotation – Pattern Matching and Rule-based Substitution – Generic Operators – Assignment, State, and Side-effect – Computational Objects – Streams – Metacircular Evaluator – Logic Programming – Register Machines – Compilation – Storage Allocation and Garbage Collection