The History of Standard ML
This PDF covers the following topics related to Standard ML : Why Is Standard ML important?, Background, An Overview of the History of Standard ML, The SML Type System, Modules, The Definition of Standard ML, Type Theory and New Definitions of Standard ML, The SML Basis Library, Conclusion.
Author(s): David Macqueen, University of Chicago, Usa, Robert Harper, Carnegie Mellon University, Usa, John Reppy, University of Chicago, Usa
100 Pages 
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
