Next:
The type prover
Up:
A four-panelled architecture
Previous:
Compiling
Contents
The Complete Type System
Subsections
The type prover
The type constructs
Defining new types
Hassan Ait Kaci 2002-05-26
