Moscow ML Owner's Manual
Sergei Anatolievich Romanenko, Russia Claudio Russo, Peter Sestoft · 2000
Moscow ML implements Standard ML (SML), as defined in the 1997 Definition of Standard ML, including the SML Modules language and some extensions. Moreover, Moscow ML supports most required parts of the SML Basis Library. It supports separate compilation and the generation of stand-alone executables. This document explains how to use the Moscow ML system. A companion document, the Moscow ML Language Overview, summarizes Moscow ML syntax and the most common built-in functions [9]. Another companion document, the Moscow ML Library Documentation, describes in detail all Moscow ML library modules [10].