: 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
: 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). : Examines different ways to model complex systems,
: 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. The book is organized into five major sections
The book is organized into five major sections that progress from basic elements to the building of entire computing systems: