Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research. Version 2.00 implements the full SML language, including SML Modules, and much of the SML Basis Library.