(SML/NJ) An implementation of
SML by Andrew Appel at
Princeton and Dave MacQueen at AT&T. Version 0.93.
["Standard ML of New Jersey", A. Appel et al, "Proc Third Intl Symp on Prog Lang Impl and Logic Programming", LNCS Springer 1991].
Versions for Unix, Mac. (ftp://cs.yale.edu/pub/ml), (ftp://research.att.com/dist/ml). Mailing list: sml@cs.cmu.edu.