MLton

E807595
Standard ML compiler native code compiler whole-program optimizing compiler

MLton is a whole-program optimizing compiler for the Standard ML programming language, known for its aggressive optimizations and high-performance native code generation.

Try in SPARQL Jump to: Statements Referenced by

Statements (51)

Predicate Object
instanceOf Standard ML compiler ⓘ
native code compiler ⓘ
whole-program optimizing compiler ⓘ
designGoal correctness ⓘ
high performance ⓘ
portability ⓘ
robust implementation of Standard ML ⓘ
whole-program analysis ⓘ
feature advanced control-flow optimizations ⓘ
advanced data-flow optimizations ⓘ
aggressive inlining ⓘ
aggressive optimizations ⓘ
basis library implementation ⓘ
closure conversion ⓘ
defunctorization ⓘ
foreign function interface ⓘ
garbage collection ⓘ
generational garbage collector ⓘ
high-performance native code generation ⓘ
monomorphization ⓘ
portable runtime system ⓘ
profiling support ⓘ
region-based optimizations ⓘ
representation analysis ⓘ
support for C FFI ⓘ
support for POSIX APIs ⓘ
support for concurrency primitives ⓘ
support for threading via green threads ⓘ
unboxing optimizations ⓘ
whole-program dead-code elimination ⓘ
hasComponent code generator ⓘ
front-end type checker ⓘ
optimizer ⓘ
runtime system ⓘ
implementationLanguage C NERFINISHED ⓘ
Standard ML NERFINISHED ⓘ
license BSD-style license ⓘ
open-source license ⓘ
operatingSystem FreeBSD NERFINISHED ⓘ
Linux ⓘ
Windows ⓘ
macOS ⓘ
other Unix-like systems ⓘ
optimizationStyle whole-program optimization ⓘ
outputFormat C code ⓘ
assembly code ⓘ
native executable ⓘ
programmingLanguage Standard ML NERFINISHED ⓘ
supportsLanguage Standard ML NERFINISHED ⓘ
supportsStandard Standard ML Basis Library NERFINISHED ⓘ
The Definition of Standard ML NERFINISHED ⓘ

Referenced by (2)

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

Standard ML → hasImplementation → MLton ⓘ
The Definition of Standard ML → influenced → MLton ⓘ