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