MLWorks is a Standard ML compiler and development environment.  See <http://www.ravenbrook.com/project/mlworks/>.