This note covers
the following topics: Defining Functions, Input and Output, ML Data Structures,
Encapsulation and the ML Module System, ML Standard Basis.
The goal
of this tutorial is to end up with a complete user guide to the system,
inclduing the libraries, the tools and the extensions, as well as a tutorial on
how to write “real” applications, centered around the use of the module system
and the compilation manager.