Moscow ML provides a light-weight implementation of Standard ML.
This is the Lucent Technologies implementation of Standard ML.
