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 Module Re-declarations

      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