blob: 5e0ba89151d5e020431b2737b00b2d88b7f63e4a (
plain) (
tree)
|
|
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/
|
