MLton

From MLKit

MLton is a whole-program optimizing compiler for Standard ML. See the MLton Web page for more information.

MLton may be used to compile MLKit.