Notes on Programming Standard ML of New Jersey
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.
Author(s): Riccardo Pucella
249 Pages
Elements of ML Programming, 2nd Edition (ML97)
This note covers the following topics: Defining Functions, Input and Output, ML Data Structures, Encapsulation and the ML Module System, ML Standard Basis.
Author(s): Jeffrey D. Ullman
NA Pages
