Next:
Defining new types
Defining new types
Constructors for new types
Using new types
Selectors
Data types equivalent to existing datatypes
Abbreviations for existing types
Types with alternative constructors
Mixed lists
Recursive types
Mutually recursive types
New type operators
Binary trees
Higher order binary tree operations
Trees with internal node values
Working with trees
Graphs
The general form of type definitions
About this document ...
Alan Bond
1998-11-19
