Next:
Overview
Up:
main
Previous:
CompiledExpression
Contents
The type system
Subsections
Overview
Polymorphism
Multiple Type Overloading
Currying
Standardizing
Copying
Equality
Unifying
Boxing/Unboxing
Structure of the
TypeChecker
Type Definitions
Type aliasing
Type hiding
Static types
Dynamic types
Extensional types
Conditional types
Non-negative numbers
Hassan Ait Kaci 2002-05-26
