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.dina.kvl.dk/~sestoft/mosml.html