[MLton-user] ML Primer
Henry Cejtin
henry.cejtin@sbcglobal.net
Thu, 20 Apr 2006 03:27:07 -0500
Probably the best is Paulson's ML for the Working Programmer, but it has to
be the second edition (copyright 1996) since the earlier version was for ML
without the value restriction. Even so, it just pre-dates opaque signatures
and instead uses the older abstype.
Alternatives are Harper's SML book, which you can get a draft of at
http://www.cs.cmu.edu/~rwh/smlbook/
or an older version at
http://www.cs.cmu.edu/~rwh/introsml/index.htm