Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research