Moscow ML Language Overview
Version 1.42 of July 1997
This is a compact reference to the language implemented by Moscow ML, a subset of Standard ML. For reference material on Standard ML, see Milner, Tofte and Harper: The Definition of Standard ML, MIT Press 1990, and the (forthcoming) 1996 revised version of that book. Moscow ML implements parts of the new SML Basis Library. Section 15 of this manual lists all structure, type, constructor, value, function, and exception identifiers defined by Moscow ML.
Acknowledgement: The present document owes a lot to the Definition.