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
Programming in Standard ML (PDF 297P)
This book is an introduction to programming with the Standard ML programming language.
Author(s): Robert Harper
297 Pages
