MLton

SML/NJ is a Standard ML implementation. It is a native code compiler that runs on a variety of platforms and has a number of libraries and tools.

We maintain a list of SML/NJ’s deviations from The Definition of Standard ML.

MLton has support for some features of SML/NJ in order to ease porting between MLton and SML/NJ.