Standard ML of New Jersey

SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), ...

Bugs sorted by priority ======================= Critical ...

Bugs sorted by priority ======================= Critical -------- 1524. Bus Error [NO REPRO, related to 1507?] 1535. [] Large ml-yacc generated file fails ...

Standard ML

Standard ML is a safe, modular, strict, functional, polymorphic programming language with compile-time type checking and type inference, garbage collection, ...

SML/NJ Software

Current Release. The current release of SML/NJ is Version 110, originally introduced in February 1998. Version 110 runs under Unix, Windows 95 or Windows NT ...

SML/NJ: Links

SML Programming Resources. Concurrent ML · sml_tk, a library for using the TK graphical interface, now updated to version 3.0 ...

SML/NJ --- What's new?

SML/NJ web site now mirrored at SourceForge. The master copy of the SML/NJ web pages is now kept in the CVS repository of the smlnj SourceForge project (see ...

415. [Andrew] late error detection in parsing 416. [dbm] equality ...

415. [Andrew] late error detection in parsing 416. [dbm] equality property checking in functor parameter matching 417. [] cosmetic error message suggestion ...

SML '97

Standard ML was proposed in 1983, designed from '84-'88, and defined in Definition of Standard ML (Milner, Tofte, Harper, MIT Press, 1990). ...

SML/NJ background information

Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for the Standard ML programming language. It was originally developed jointly ...

ckit

ckit. ckit is aC front end written in SML that translates C source code (after preprocessing) into abstract syntax represented as a set of SML datatypes. ...