| [Lab] |
The SML/NJ System in Our Labs.
How to access the various installation of the SML/NJ compiler in our instructional labs.
|
| [Lee] |
Using the SML/NJ System,
by Peter Lee, CMU.
Notes on how to use the interactive SML compiler, interpret its error messages, load source files and so on. Although they are written for the SML installation at CMU, most of their content applies to our installation as well.
|
| [Bel] |
Standard ML of New Jersey.
Web site of the Bell Labs SML compiler. |
| [Gil] |
Programming in Standard ML '97: An On-line Tutorial,
by Stephen Gilmore, Edinburgh.
Nice on-line tutorial with exercises.
|
| [Pau] |
ML for the Working Programmer,
by Lawrence C. Paulson,
Second edition, Cambridge University Press, 1996.
A very popular and readable text on ML programming. It is on reserve in the Math library.
|
| [Har] |
Programming in Standard ML,
by Robert Harper, CMU.
Another on-line tutorial, but in PDF format.
|
| [Puc] |
Notes on Programming SML/NJ,
by Riccardo Pucella, Cornell University.
A very well written, albeit massive, set of notes for the serious SML/NJ programmer. Some of its chapters, especially those on the SML/NJ libraries, can be very useful when doing class projects.
|