Information on Standard ML

Tutorial Info

• A Gentle Introduction to ML
• Introduction to SML
• Programming in Standard ML (draft version of Robert Harper's book)
• Programming in Standard ML '97: A Tutorial Introduction (by Stephen Gilmore)

ML Newsgroups

• comp.lang.ml
• comp.lang.functional

SML of New Jersey

• SML/NJ Home Page
• SML/NJ FAQ
• Concurrent ML

O'Caml (Objective Caml)

• O'Caml homepage
• Caml page

Theorem Provers written in ML

• Isabelle
• HOL

Other ML Resources on the Web

• Moscow SML Implementation
• Projects Using ML.
• Links to various SML programming resources.

People Leading the Development of ML

• Andrew Appel's home page at Princeton. One of the princple developers of SML and the author of a book on compiler implementation using ML.
• Robert Harper's home page at CMU.
• Robin Milner's home page at Cambridge (not the most informative site...)
• Lawrence C. Paulson's home page at Cambridge.
• Mads Tofte's page at ITU Copenhagen.
• A very good site dedicated to programming language research in general, including a list of researcher home pages.