Contents

of Standard ML, and supports most required parts of the new SML Basis Library. Moscow ML also provides a simple subset of the Standard ML Modules language, restricted to signatures and non-nested structures. 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 some built-in functions [7]. For a list of textbooks and other materials on Standard ML programming, see Section 16 below. Acknowledgements: The Caml Light system was instrumental in creating Moscow ML, which uses its runtime system and essentially the same bytecode generator. Many other aspects of the design were derived from Caml Light, developed by Xavier Leroy and Damien Doligez at INRIA, France [3, 4]. The ML Kit helped solving problems of parsing, inx resolution, and type inference [1]. The Moscow ML home page i