Moscow Standard ML interpreter

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