This is Moscow ML, a lightweight implementation of Standard ML:

The current version (v2.01) of Moscow ML
    * implements Standard ML, as revised 1997 (value polymorphism, 
      default overloading resolution, new types)
    * implements most of the new Standard ML Basis Library, including
      the most common input/output facilities in TextIO and BinIO.
    * implements separate compilation
    * can produce compact stand-alone executables (a la Caml Light)
    * supports quotations and antiquotations, useful for metaprogramming
    * includes several new libraries
    * includes several new libraries (sockets, regex, unix)
    * offers an easy-to-use foreign-function interface

WWW: http://www.itu.dk/~sestoft/mosml.html