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