A Type Notation for Scheme

• 1. Overview of the Type System
• 2. Notation for Type Expressions
  • 2.1 Basic Types
    • 2.1.1 Datum
    • 2.1.2 Void
    • 2.1.3 Poof
  • 2.2 Applied Types
  • 2.3 Procedure Types
    • 2.3.1 Procedure Types with Fixed Numbers of Arguments
    • 2.3.2 Variable Argument Procedure Types
  • 2.4 Polymorphic Types
  • 2.5 Intersection Types
  • 2.6 Variant Record Types
  • 2.7 Type Predicate Types
• 3. Additions to Scheme
  • 3.1 Expressions Added To Scheme
    • 3.1.1 Cases Expressions
    • 3.1.2 Has-Type Expressions
    • 3.1.3 Trusted Has-Type Expressions
    • 3.1.4 Arrow Expressions
    • 3.1.5 Forall Expressions
  • 3.2 Definitions Added To Scheme
    • 3.2.1 Deftype
    • 3.2.2 Define-Datatype Definitions
  • 3.3 Top-level Forms Added To Scheme
    • 3.3.1 Defrep
    • 3.3.2 Public
  • 3.4 Trusted Scheme Programs
• 4. Understanding Type Error Messages
• 5. Type Checker Commands and Options
• 6. Future Work and Conclusions
• A. Grammar Summary
  • A.1 Notation for Type Expressions
  • A.2 Additions to Scheme
• Bibliography

This document was generated on 9 October 2001 using texi2html 1.56k.