[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