Implementations
Books
- ML for the Working Programmer by Larry C. Paulson [1996]
- Elements of ML Programming by Jeffrey D. Ullman [1998]
- Programming in Standard ML by Robert Harper [2011]
Tutorials
Standards
- The Definition of Standard ML, Revised by Robin Milner et al [1997]
- Standard ML Grammar