Public domain compilers include Poly/ML, SML of New Jersey and Moscow ML.
MLj is a compiler for Standard ML that produces Java bytecodes.
Consult the Basis Library proposal.
Other applications of ML include the Fox Project, my very own Isabelle system and ALF.
Related functional languages include Caml and Haskell.
Real World Applications of Functional Programming
Back to ML for the Working Programmer, main page