SML/NJ Literature

Summary

Tutorials
Books
Documentation
Other Resources

Tutorials

Introduction to Standard ML

Author: Robert Harper, CMU

Postscript 374KB
HTML (preliminary version of a new edition!)

Using the SML/NJ System

Author: Peter Lee, CMU

HTML

Four Lectures on Standard ML

Author: Mads Tofte, DIKU

Essentials of Standard ML Modules

Author: Mads Tofte, DIKU

Tips for Computer Scientists On Standard ML

Author: Mads Tofte, DIKU

Postscript 165KB

A Gentle Introduction to ML

Author: Andrew Cumming, Napier University

Several textbooks on SML programming are available. We recommend the first two in this list. ML for the Working Programmer assumes a little more programming experience than Elements of ML Programming, however either one ought to be adequate for learning the language. Both of these books are in their second editions, now covering the SML '97 version of the language and Basis.

ML for the Working Programmer (2nd edition)

Author:	Larry C. Paulson
Publisher:	Cambridge University Press
Year:	1996
ISBN (hardback):	0-521-57050-6
ISBN (paperback):	0-521-56543-X

Elements of ML Programming, ML97 Edition

Author:	Jeffrey D. Ullman
Publisher:	Prentice-Hall
Year:	1998
ISBN:	0-13-790387-1

The Little MLer

Authors:	Matthias Felleisen and Dan Freidman
Publisher:	The MIT Press
Year:	1998
ISBN:	0-262-56114-X

Programming with Standard ML

Authors:	Chris Clack, Colin Myers, and Ellen Poon
Publisher:	Prentice-Hall
Year:	1993
ISBN:	0-13-722075-8

Elementary Standard ML

Authors:	Greg Michaelson
Publisher:	UCL Press
Year:	1995
ISBN:	1-85728-398-8

A Practical Course in Functional Prog. Using Standard ML

Authors:	Richard Bosworth
Publisher:	McGraw-Hill
Year:	1995
ISBN:	0-07-707625-7

Abstract Data Types in Standard ML.

Authors:	Rachel Harrison
Publisher:	John Wiley & Sons
Year:	1993
ISBN:	0-471-938440

ML Primer

Authors:	Ryan Stansifer
Publisher:	Prentice-Hall
Year:	1992
ISBN:	0-13-561721-9

Applicative High Order Programming: the Standard ML perspective

Authors:	Stefan Sokolowski
Publisher:	Chapman \& Hall Computing
Year:	1991
ISBN:	0-442-30838-8

Elements of Functional Programming

Authors:	Chris Reade
Publisher:	Addison-Wesley
Year:	1989
ISBN:	0-201-12915-9

Modern Compiler Implementation in ML

Authors:	Andrew Appel
Publisher:	Cambridge University Press
Year:	1998
ISBN:	0-521-58274-1

Non-programming related books

The Definition of Standard ML (Revised)

Authors:	Robin Milner, Mads Tofte, Robert Harper, and David MacQueen
Publisher:	The MIT Press
Year:	1997
ISBN:	0-262-63181-4

The Definition of Standard ML

Authors:	Robin Milner, Mads Tofte, and Robert Harper
Publisher:	The MIT Press
Year:	1989
ISBN:	0-262-63132-6

Commentary on Standard ML

Authors:	Robin Milner and Mads Tofte
Publisher:	The MIT Press
Year:	1991
ISBN:	0-262-63137-7

ML With Concurrency

Editor:	Flemming Nielson
Publisher:	Springer
Year:	1997
ISBN:	0-387-94875-9

Compiling with Continuations

Authors:	Andrew W. Appel
Publisher:	Cambridge University Press
Year:	1992
ISBN:	0-521-41695-7

SML/NJ Documentation

Other Resources

comp.lang.ml FAQ
comp.lang.ml archive
comp.lang.functional FAQ
Bibliography of Andrew Appel's technical papers.
Bibliographies
Electronic proceedings of the ML'94 workshop

| SML/NJ Home page |
| SML/NJ Documentation Home page |