PostScript version of this text is available

Class Note 4

David Pierce

September 5, 1994

• Math Preliminaries and ML
  • Types
    • Primitive Types
    • Type Constructors
      • Cross Product
      • Disjoint Union
      • Lists
      • Primitive Recursive Arithmetic
      • Function Spaces
• About this document ...