Next:
Conditional types
Up:
Dynamic types
Previous:
Dynamic types
 
Contents
Extensional types
Hassan Ait Kaci 2002-05-26