Optimizing compiler for Standard ML - tools

 MLton is a whole-program optimizing compiler
 for Standard ML. MLton generates standalone
 executables with excellent runtime performance,
 is SML 97 compliant, and has a complete basis
 library. MLton has source-level profiling,
 a fast C FFI, an interface to the GNU
 multiprecision library, and lots of useful
 libraries.
 .
 This package includes tools which autogenerate SML.