The Definition of Standard ML, Robin Milner, Mads Tofte, Robert Harper, MIT Press 1990; (revised edition adds author David MacQueen), MIT Press 1997, The Definition of Standard ML (Revised). Commentary on Standard ML, Robin Milner, Mads Tofte, MIT Press 1997, . ML for the Working Programmer, Lawrence Paulson, Cambridge University Press 1991, 1996, . Elements of ML Programming, Jeffrey D. Ullman, Prentice-Hall 1994, 1998, .
The Definition of Standard ML, Robin Milner, Mads Tofte, Robert Harper, MIT Press 1990; (revised edition adds author David MacQueen), MIT Press 1997, The Definition of Standard ML (Revised). Commentary on Standard ML, Robin Milner, Mads Tofte, MIT Press 1997, . ML for the Working Programmer, Lawrence Paulson, Cambridge University Press 1991, 1996, . Elements of ML Programming Jeffrey D. Ullman, Prentice-Hall 1994, 1998, .