ML Syntax
Moscow ML
A light-weight implementation of Core Standard ML
Standard ML
Information on Standard ML