What is Standard ML of New Jersey?


Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for the Standard ML programming language. It was originally developed jointly at Bell Laboratories and Princeton University, and is now a joint project between researchers at Bell Laboratories (Lucent Technologies), Princeton University, Yale University (The FLINT Project), and AT&T Research.

The current release of SML/NJ is Version 110, which implements the SML '97 revision of the Standard ML language, including the new Standard Basis library.

SML/NJ is distributed free of charge with source code, but with no warranty. You may use, copy, modify, and distribute the software provided that you preserve the copyright notice and don't mention Bell Labs or Lucent Technologies in your advertising without prior written agreement; see the license and copyright notice for details.

Standard ML of New Jersey is written in Standard ML (except for the runtime system, which is written in C). SML/NJ has been used to implement a significant number of large systems, mainly in the fields of applied logic and verification (HOL 90, Isabelle, Step), and program analysis and advanced compilers. See Andrew Appel's projects page.

Here is a summary of some of the major features of the SML/NJ system.


| SML/NJ Home Page |

Send your comments to
Copyright © 1996, Lucent Technologies; Bell Laboratories.