Jeffrey Ullman: Elements of ML Programming (ML97 edition). Prentice-Hall 1998.
Robin Milner, Mads Tofte, Robert Harper, David MacQueen: The Definition of Standard ML (Revised). The MIT Press, 1997.
Die Autorität in allen Detailfragen zu SML.
L. C. Paulson: ML for the Working Programmer. Cambridge University Press, Cambridge, England, 1996.
Ein gutes Buch, um funktionale Programmierung und SML zu lernen.
Matthias Felleisen and Daniel P. Friedman: The Little MLer. MIT Press, December 1997.
Ein Buch, welches ML durch ein Spiel von Fragen und Antworten einführt. Etwas gewöhnungsbedürftig, aber lockerer als viele andere Bücher.
In der Vorlesung werden die SML-Implementierungen Moskau ML und SML/NJ verwendet. Diese Systeme (und weitere) stehen auf der Web-Seite zur Vorlesung Informatik 1 zur Verfügung.