Some ML Resources

Implementations

Poly/ML, by David C.J. Matthews.

Standard ML of New Jersey

The Caml family of languages, from Projet Cristal

Moscow ML

LCS

Projects, Readings, Forums

Don Sanella's Extended ML
More projects from the SML/NJ pages

A gentle introduction to ML by A. Cumming
A tutorial on SML'97 by Stephen Gilmore, in Postscript, and supplementary information.
Useful online introductory documents are found in the Moscow ML home page.
More literature and references found in the SML/NJ pages

Newsgroups comp.lang.ml (FAQ) and comp.lang.functional (FAQ).

ML with concurrency

LCS
David Matthews's concurrent Poly/ML
John Reppy's Concurrent ML
Bent Thomsen et al.'s Facile
The Threads library of Objective Caml

Various issues in ML + Concurrency are discussed in this monograph, edited by Flemming Nielson.

ML with objects

Objective Caml classes, by Didier Rémy and Jérôme Vouillon
OML (SML with object types) by John Reppy and Jon Riecke, and Moby
SML# (SML with extensible records), by Atsushi Ohori
OO programming and Standard ML, by Mads Tofte, in ML'94 workshop

My own experiments are described in this report: OO Programming styles in ML

Some pointers to works on OO foundations, in Laurent Dami's OO pages.

More ML pages

Edinburgh LFCS' SML Page
Chris Reade's ML pages.

Home Page