(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", LNCsspringer 1991]. Versions for Unix, Mac. , . Mailing list: sml@cs.cmu.edu.