SML/NJ

E807593
Standard ML compiler interactive programming environment open-source software programming language implementation

SML/NJ is a widely used, open-source compiler and interactive environment for the Standard ML programming language, known for its robust type system support and advanced compilation technology.

Try in SPARQL Jump to: Statements Referenced by

Statements (51)

Predicate Object
instanceOf Standard ML compiler ⓘ
interactive programming environment ⓘ
open-source software ⓘ
programming language implementation ⓘ
countryOfOrigin United States of America ⓘ
surface form: United States
developedAt Bell Labs NERFINISHED ⓘ
Princeton University NERFINISHED ⓘ
hasAbbreviationForName Standard ML of New Jersey NERFINISHED ⓘ
hasComponent CM ⓘ
ML-Burg ⓘ
ML-Lex NERFINISHED ⓘ
ML-Yacc NERFINISHED ⓘ
basis library ⓘ
compiler ⓘ
interactive top-level ⓘ
runtime system ⓘ
hasDesignGoal large-scale program development ⓘ
research in programming languages ⓘ
teaching functional programming ⓘ
hasLicense BSD-like license NERFINISHED ⓘ
hasNotableUser Andrew W. Appel NERFINISHED ⓘ
David MacQueen NERFINISHED ⓘ
hasPrimaryImplementationLanguage Standard ML NERFINISHED ⓘ
hasSecondaryImplementationLanguage C ⓘ
implementsLanguage Standard ML NERFINISHED ⓘ
influenced MLton NERFINISHED ⓘ
TILT compiler NERFINISHED ⓘ
other Standard ML implementations ⓘ
isGarbageCollected true ⓘ
isOpenSource true ⓘ
supportsBuildSystem CM (Compilation Manager) NERFINISHED ⓘ
supportsFeature continuation-based runtime ⓘ
first-class functions ⓘ
functors ⓘ
incremental compilation ⓘ
interactive REPL ⓘ
modules ⓘ
pattern matching ⓘ
polymorphism ⓘ
separate compilation ⓘ
strong static type system ⓘ
type inference ⓘ
supportsLanguageStandard Standard ML '97 NERFINISHED ⓘ
supportsPlatform Linux ⓘ
Unix-like systems ⓘ
Windows ⓘ
macOS ⓘ
usedFor compiler construction experiments ⓘ
research projects ⓘ
teaching ⓘ
website https://www.smlnj.org/ ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Standard ML → hasImplementation → SML/NJ ⓘ
The Definition of Standard ML → influenced → SML/NJ ⓘ