1 Language Model

    1.1 Evaluation Model

      1.1.1 Sub-expression Evaluation and Continuations

      1.1.2 Tail Position

      1.1.3 Multiple Return Values

      1.1.4 Top-Level Variables

      1.1.5 Objects and Imperative Update

      1.1.6 Object Identity and Comparisons

      1.1.7 Garbage Collection

      1.1.8 Procedure Applications and Local Variables

      1.1.9 Variables and Locations

      1.1.10 Modules and Module-Level Variables

        1.1.10.1 Phases

        1.1.10.2 The Separate Compilation Guarantee

        1.1.10.3 Cross-Phase Persistent Modules

        1.1.10.4 Module Redeclarations

        1.1.10.5 Submodules

      1.1.11 Continuation Frames and Marks

      1.1.12 Prompts, Delimited Continuations, and Barriers

      1.1.13 Threads

      1.1.14 Parameters

      1.1.15 Exceptions

      1.1.16 Custodians

    1.2 Syntax Model

      1.2.1 Identifiers and Binding

      1.2.2 Syntax Objects

      1.2.3 Expansion (Parsing)

        1.2.3.1 Fully Expanded Programs

        1.2.3.2 Expansion Steps

        1.2.3.3 Expansion Context

        1.2.3.4 Introducing Bindings

        1.2.3.5 Transformer Bindings

        1.2.3.6 Partial Expansion

        1.2.3.7 Internal Definitions

        1.2.3.8 Module Phases and Visits

        1.2.3.9 Macro-Introduced Bindings

      1.2.4 Compilation

      1.2.5 Namespaces

      1.2.6 Inferred Value Names

      1.2.7 Cross-Phase Persistent Module Declarations

    1.3 The Reader

    1.4 The Printer