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 Garbage Collection

      1.1.7 Procedure Applications and Local Variables

      1.1.8 Variables and Locations

      1.1.9 Modules and Module-Level Variables

        1.1.9.1 Phases

        1.1.9.2 The Separate Compilation Guarantee

        1.1.9.3 Cross-Phase Persistent Modules

        1.1.9.4 Module Redeclarations

        1.1.9.5 Submodules

      1.1.10 Continuation Frames and Marks

      1.1.11 Prompts, Delimited Continuations, and Barriers

      1.1.12 Threads

      1.1.13 Parameters

      1.1.14 Exceptions

      1.1.15 Custodians

    1.2 Syntax Model

      1.2.1 Identifiers, Binding, and Scopes

      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 Local Binding Context

        1.2.3.7 Partial Expansion

        1.2.3.8 Internal Definitions

        1.2.3.9 Module Expansion, Phases, and Visits

        1.2.3.10 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