Next:
The ML Module System
The ML Module System
Overview
Structures
Accessing structures
Types in structures and exceptions
Exceptions
User defined exceptions
Exceptions with parameters
Signatures
Signature matching
Types in signatures
Different views of structures
Restricting structures by the use of signatures
Structures more general than signatures
Dependency among structures
Explicit dependency among structures
Substructures
Functors
More general forms for functor parameters and arguments
Sharing
Example of sharing
Abstract types
Example of abstract types - queue
Encapsulation in abstract types
Information hiding, local definitions and opaque signatures
About this document ...
Alan Bond
1998-12-03
