Contents

• 1. Overview
  • 1.1 Purpose
  • 1.2 Scope
  • 1.3 History
  • 1.4 Document Conventions
    • 1.4.1 Typography
    • 1.4.2 Organization
  • 1.5 Conformance
  • 1.6 Subsets
  
  
• 2. The System
  • 2.1 Introduction
  • 2.2 Description
  • 2.3 Requirements
    • 2.3.1 Fully-Reflective
    • 2.3.2 Unified
    • 2.3.3 Verifiable
    • 2.3.4 Higher-Order
    • 2.3.5 Self-Extensible
    • 2.3.6 Dynamic
    • 2.3.7 Fine-Grained
    • 2.3.8 Fault-Tolerant
    • 2.3.9 Distributed
    • 2.3.10 Scalable
  
  
• 3. Aspects
  • 3.1 High-Level
    • 3.1.1 Introduction
    • 3.1.2 Types
    • 3.1.3 Operations
  • 3.2 Meta-Linguistic
    • 3.2.1 Introduction
    • 3.2.2 Types
    • 3.2.3 Operations
  • 3.3 Interface
    • 3.3.1 Introduction
    • 3.3.2 Types
    • 3.3.3 Operations
  • 3.4 Migration
    • 3.4.1 Introduction
    • 3.4.2 Types
    • 3.4.3 Operations
  • 3.5 Low-Level
    • 3.5.1 Introduction
    • 3.5.2 Types
    • 3.5.3 Operations
  
  
• 4. Elements
  • 4.1 High-Level
    • 4.1.1 Objects
    • 4.1.2 Attributions
    • 4.1.3 Effects
    • 4.1.4 Abstractions
    • 4.1.5 Applications
  • 4.2 Meta-Linguistic
    • 4.2.1 Grammars
    • 4.2.2 Evaluators
    • 4.2.3 Dispatchers
    • 4.2.4 Responders
    • 4.2.5 Transformers
  • 4.3 Interface
    • 4.3.1 Terminals
  • 4.4 Migration
  • 4.5 Low-Level
  
  
• 5. Subsets
  • 5.1 Definition
  • 5.2 Core/Bootstrap Language Semantics
    • 5.2.1 Introduction
    • 5.2.2 Semantics
    • 5.2.3 Syntax
  • 5.3 T3P/TM3P Module Encoding Protocol
    • 5.3.1 Introduction
  • 5.4 Initial Standard Publication System
    • 5.4.1 Introduction
  
  
• Index
• Bibliography
• About this document ...