Smlnj

Compiler and tools for Standard ML (SML ‘97)

Standard ML SML is a safe, modular, strict, functional, polymorphic programming language with compile-time type checking and type inference, garbage collection, exception handling, immutable data types and updatable references, abstract data types, and parametric modules. It has efficient implementations and a formal definition with a proof of soundness.

Standard ML of New Jersey abbreviated SML/NJ is a compiler for the Standard ML ‘97 programming language with associated libraries, tools, and documentation.

WWW http//www.smlnj.org/