Smlnj Description:

Standard ML of New Jersey (SML/NJ)

Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for the Standard ML programming language. Standard ML 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.



Category: Languages 
Publisher: 133.186.1.15    More titles >>
Last Updated: 02/28/2019
Requirements: Not specified
License: Not Specified
Operating system: Linux
Hits: 207
File size: Not specified
Price: Not specified