Next:
Polymorphism
Up:
The type system
Previous:
The type system
Contents
Overview
We first define a few basic terms and operations regarding type-checking and inference.
Subsections
Polymorphism
Multiple Type Overloading
Currying
Standardizing
Copying
Equality
Unifying
Boxing/Unboxing
Hassan Ait Kaci 2002-05-26
