: Introduces the fundamental elements of programming, including expressions, naming, and the "substitution model" for evaluating procedures. It explores recursion and higher-order procedures (functions that take other functions as arguments).
: Discusses how to combine simple data into complex "compound data" structures while maintaining clear boundaries through data abstraction. Structure and Interpretation of Computer Programs
: Teaches how to design new programming languages to solve specific problems. This includes building a "meta-circular evaluator"—an interpreter for a language written in that same language. : Teaches how to design new programming languages
: Moves down to a lower level, describing how high-level languages are implemented on hardware-like register machines, covering compilation and memory management. : Examines different ways to model complex systems,
: Examines different ways to model complex systems, introducing the concepts of local state, objects, and the challenges of dealing with "time" in computational models (e.g., concurrency and stream processing).