Standard ML. It's simple, well-designed, stable, and consistent. http://www.itu.dk/~tofte/publ/tips.pdf http://www.itu.dk/~tofte/publ/tips.pdf http://homepage

Standard ML. It's simple, well-designed, stable, and consistent. http://www.itu.dk/~tofte/publ/tips.pdf http://www.itu.dk/~tofte/publ/tips.pdf http://homepages.inf.ed.ac.uk/stg/NOTES/notes.pdf http://homepages.inf.ed.ac.uk/stg/NOTES/notes.pdf A full book. It's good, but don't start with it: http://www.cs.cmu.edu/~rwh/smlbook/ http://www.cs.cmu.edu/~rwh/smlbook/