Moscow ML Owner's Manual

Version 1.42 of July 1997

Moscow ML implements the Core language of Standard ML (SML), as defined in the 1990 Definition of Standard ML and revised in 1996, 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 [8]. For a list of textbooks and other materials on Standard ML programming, see Section 13 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, infix resolution, and type inference [1].

• Contents
• Getting started
• Core language and libraries
• The interactive system
• Modules and compilation units
• The batch compiler
• Recompilation management
• Value polymorphism
• Quotations and antiquotations
• A lexer generator
• A parser generator
• Copyright and credits
• How to get Moscow ML version 1.42
• Books and other materials on Standard ML
• References