MLton

Moscow ML is a Standard ML implementation. It is a byte-code compiler, so it compiles code quickly, but the code runs slowly. See Performance.