| | Definition: | | (SML/NJ) An implementation of sml by andrew appel at princeton <Appel@princeton.edu> 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. |