Next:
Extensional types
Up:
The type system
Previous:
Static types
 
Contents
Dynamic types
Subsections
Extensional types
Conditional types
Non-negative numbers
Hassan Ait Kaci 2002-05-26