Structure and Interpretation of Computer Programs (M-I-T)

• 1B Procedures and Processes; Substitution Model
• 2A Higher-order Procedures
• 2B Compound Data
• 3A Henderson Escher Example
• 3B Symbolic Differentiation; Quotation
• 4A Pattern Matching and Rule-based Substitution
• 4B Generic Operators
• 5A Assignment, State, and Side-effects
• 5B Computational Objects
• 6A Streams, Part 1
• 6B Streams, Part 2
• 7A Metacircular Evaluator, Part 1
• 7B Metacircular Evaluator, Part 2
• 8A Logic Programming, Part 1
• 8B Logic Programming, Part 2
• 9A Register Machines
• 9B Explicit-control Evaluator
• 10A Compilation
• 10B Storage Allocation and Garbage Collection