SMLof NJ
Program-Transformation.Org: The Program Transformation Wiki
http://www.smlnj.org/
Standard ML of New Jersey is a free Standard ML compiler, ported to many platforms.
It does not compile to native machine code as e.g. MLton does, but you can save "heap images" which are almost the same thing.
--
MikeVanEmmerik - 17 Apr 2005