4. Metalinguistic Abstraction

4.1. The Metacircular Evaluator

• 4.1.1. The Core of the Evaluator

• 4.1.2. Representing Expressions

• 4.1.3. Evaluator Data Structures

• 4.1.4. Running the Evaluator as a Program

• 4.1.5. Data as Programs

• 4.1.6. Internal Definitions

• 4.1.7. Separating Syntactic Analysis from Execution