Source: wikibot/standard-ml-of-new-jersey
= Standard ML of New Jersey
{wiki=Standard_ML_of_New_Jersey}
Standard ML of New Jersey (SML/NJ) is an implementation of the Standard ML programming language. Standard ML (SML) is a functional programming language known for its strong type system, type inference, and support for concurrent programming. It is particularly recognized for its use in teaching programming language concepts and for research in programming language theory.