(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. , . Mailing list: sml@cs.cmu.edu.