MLton

HaMLet is a Standard ML implementation. It is intended as reference implementation of The Definition of Standard ML (Revised) and not for serious practical work.