![contents](contents.gif)
Next: References
Up: Moscow ML Owner's Manual
Previous: How to get Moscow
- Robin Milner, Mads Tofte and Robert Harper, The Definition of
Standard ML, MIT Press 1990, ISBN 0-262-63132-6.
- Robin Milner, Mads Tofte, Robert Harper, and David B. MacQueen,
The Definition of Standard ML, Revised 1996. (Forthcoming).
- Robin Milner and Mads Tofte, Commentary on Standard ML,
MIT Press 1991, ISBN 0-262-63137-7.
- Richard Bosworth, A Practical Course in Functional
Programming Using Standard ML, McGraw-Hill 1995, ISBN
0-07-707625-7.
- Greg Michaelson, Elementary Standard ML, UCL Press 1995,
ISBN 1-85728-398-8.
- Colin Myers, Chris Clack, and Ellen Poon, Programming with
Standard ML, Prentice Hall 1993, ISBN 0-13-722075-8.
- Lawrence C. Paulson, ML for the Working Programmer,
Second edition. Cambridge University Press 1996, ISBN
0-521-56543-X.
- Chris Reade, Elements of Functional Programming,
Addison-Wesley 1989, ISBN 0-201-12915-9.
- Ryan Stansifer, ML Primer, Prentice Hall 1992, ISBN
0-13-561721-9.
- Jeffrey D. Ullman, Elements of ML Programming, Prentice
Hall 1994, ISBN 0-13-184854-2.
- Åke Wikström, Functional Programming Using Standard
ML, Prentice Hall 1987, ISBN 0-13-331661-0.
- Emden Gansner and John Reppy (editors): Standard ML Basis
Library, hypertext version:
http://www.research.att.com/~jhr/sml/basis/sml-std-basis.html
http://www.dina.kvl.dk/~sestoft/sml/sml-std-basis.html
(mirror site) - Robert Harper, Introduction to Standard ML, LFCS Report
Series ECS-LFCS-86-14, Department of Computer Science, University of
Edinburgh, November 1986 (revised 1989). At
ftp://ftp.cs.cmu.edu/afs/cs/project/fox/mosaic/intro-notes.ps. - Mads Tofte, Four Lectures on Standard ML, LFCS Report
Series ECS-LFCS-89-73, Department of Computer Science, University of
Edinburgh, March 1989. At
ftp://ftp.diku.dk/pub/diku/users/tofte/FourLectures/ - Mads Tofte, Tutorial on Standard ML, Technical Report
91/18, DIKU, University of Copenhagen, December 1991. At
ftp://ftp.diku.dk/pub/diku/users/tofte/FPCA-Tutorial/
Moscow ML 1.42