A. Apple/David MacQueen: Standard ML of New Jersey.
Springer LN CS 528 (1991), 1-13.

13093 Matthias Blume: CM - a compilation manager for SML/NJ. User manual.
Internet 1997, 30p.

G. Cousineau/M. Mauny: The functional approach to programming.
Cambridge UP 1998.

Michael Hansen/Hans Rischel: Introduction to programming using SML.
Addison-Wesley 1999. 0-201-39820-6.

13683 Reinhold Heckmann/Reinhard Wilhelm: A functional description of
TEX's formula layout. Internet ca. 1997, 34p.

Robin Milner/Mads Tofte/Robert Harper/David MacQueen: The definition of
Standard ML. MIT Press 1997, 130p. 0-262-63181-4 (pb). $25.

F. Nielson: ML with concurrency. Springer 1997, 260p. 3-540-94875-9. DM 78.

C. Okasaki: Purely functional data structures. Cambridge UP 1998.

13097 Lawrence Paulson: ML for the working programmer. Cambridge UP 1997.

13028 Jeffrey Putnam: Review of the book "ML for the working programmer"
by Lawrence Paulson. Computing Rev. October 1997, 472-473.

C. Reade: Elements of functional programming. Addison-Wesley 1989.

John Reppy: Concurrent programming in ML.
Cambridge UP 1998, 280p. 0-521-48089-2. $35.

13103 Jeffrey Ullman: Elements of ML programming. Prentice-Hall 1994.

Pierre Weis/Xavier Leroy: The langage Caml. Dunod 1999.

Ake Wikstroem: Functional programming using Standard ML.
Prentice-Hall 1987, 450p. 0-13-331661-0 (pb). Should be very good.