SML Resources

• The SML/NJ Compiler in Our Labs
  How to access the various installation of the SML/NJ compiler in our instructional labs.

• 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.

• Programming in Standard ML '97: An On-line Tutorial by Stephen Gilmore, Edinburgh
  Nice on-line tutorial with exercises.

• Programming in Standard ML by Robert Harper, CMU
  Another on-line tutorial, but in PDF format.

• New!
  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, could be very useful for the class projects.

• Standard ML of New Jersey
  Web site of the Bell Labs SML compiler.