Introduction to Standard ML

This is the homepage for a short series of lectures on the Standard ML programming language. It was first given in autumn 2001 in the School of Computing at the University of Utah.

Note. This collection of pages is incomplete. My hope is that, in time, it will grow into a useful resource.

Outline

ML Resources

There is a lot of material on ML out on the Web, and also in more old-fashioned places, like bookstores and libraries.

Implementations of SML
- MoscowML
- Poly/ML
- SML/NJ
- MLton
- SML.NET
- The ML Kit
- MLj (defunct)
- Harlequin ML (defunct)
Implementations of SML-like languages
Books (incomplete list)
- ML for the Working Programmer, by Larry Paulson
- Elements of ML Programming, by Jeffrey Ullman
- Introduction to Programming using SML, by Michael Hansen and Hans Rischel
- Elements of Functional Programming, by Chris Reade
- Unix System Programming with Standard ML, by Anthony Shipman
- Programming in Standard ML, Draft book by Bob Harper
- Formal Definition of Standard ML, by Robin Milner, Mads Tofte, Bob Harper, and Dave MacQueen
Newsgroup comp.lang.ml
Online Tutorials
- Programming in Standard ML'97: an online tutorial, by Stephen Gilmour
- A Gentle Introduction to ML, by Andrew Cummings

Konrad Slind, slind@cs.utah.edu