Next:
Types
Up:
Class Note 4
Previous:
Class Note 4
Math Preliminaries and ML
Types
Primitive Types
Type Constructors
Cross Product
Disjoint Union
Lists
Primitive Recursive Arithmetic
Function Spaces