next up previous contents
Next: Conditional types Up: Dynamic types Previous: Dynamic types   Contents

Extensional types


Hassan Ait Kaci 2002-05-26