Moscow ML Owner's Manual
Version 1.44 of August 1999
| Sergei Romanenko | Peter Sestoft | |
| Russian Academy of Sciences | Royal Veterinary and Agricultural University | |
| Moscow, Russia | Copenhagen, Denmark |
Moscow ML implements the Core language of Standard ML (SML), as defined in the 1997 Definition 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].
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].
The Moscow ML home page is
http://www.dina.kvl.dk/~sestoft/mosml.html |