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.