The Free On-line Dictionary of Computing (19 January 2023):

Micro ML
uML

   (uML) An interpreter for a subset of SML.  Runs on
   MS-DOS.  Written at the University of Umea, Sweden.

   (ftp://ftp.cs.umu.se/pub/umlexe01.zoo).