Modules Language

Back ] Home ] Next ]

Last edit: Wednesday, November 05, 1997 01:34 PM


The Standard ML module language consists of the mechanisms for structuring large programs  The fundamental constructs of the module language are signatures, structures, sub-structures, and functors, all of which are described in this part of the notes.

Signatures and Structures ] Hierarchies ] Parameterization ]


Back ] Home ] Next ]

Copyright © 1997 Robert Harper.  All rights reserved.