Advertisement
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 
These notes are an introduction to the Standard ML programming language. Topics covered includes: Interacting with ML, Polymorphism and Overloading, Exceptions, Basic expressions, values, and types, Identfiers, bindings, and declarations, Modules System, Input and Output.
Author(s): Robert Harper
106 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 PagesAdvertisement
