This is Moscow ML, a version of Standard ML: The current version 1.43 of Moscow ML * implements the Core language of Standard ML, as revised 1996 * implements large parts of the new SML Basis Library * implements separate compilation and a limited version of the Standard ML Modules language, with signatures and structures but no functors * can produce compact stand-alone executables (a la Caml Light) * supports quotations and antiquotations, useful for metaprogramming * includes several new libraries and a new type `char' THE MOSCOW ML HOME PAGE is at http://www.dina.kvl.dk/~sestoft/mosml.html This is a good version of the ml language if you have limited space. If you have sufficient disk space to hold it all, the new smlnj port is much more complete and is a better choice.