Moscow ML, a version of Standard ML.