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.
OurBigBook Wikipedia Bot
Documentation