Contents

• Getting started
  • Installation
  • The interactive system
  • The batch compiler and linker
  • A simple module system
  • What is new in release 1.42
• Core language and libraries
  • The Standard ML Basis Library
• The interactive system
  • On-line help
  • Editing and running ML programs
  • Command-line options
  • Non-standard primitives in the interactive system
• Modules and compilation units
  • Basic concepts
  • Units without explicit signature
  • Units with explicit signature
  • Syntax of unit signatures
  • Syntax of unit bodies
  • An example program consisting of three units
  • Compiling, linking, and loading units
  • Organizing programs for compatibility with SML Modules
  • Matching a unit body against a signature
• The batch compiler
  • Overview
  • Command-line options
• Recompilation management
  • Using `make' to manage recompilation
  • An example Makefile for Unix
  • An example Makefile for MS DOS
  • Unit names and DOS file names
• Value polymorphism
• Quotations and antiquotations
• A lexer generator
  • Overview
  • Hints on using mosmllex
  • Syntax of lexer definitions
    • Header
    • Entry points
    • Regular expressions
    • Actions
    • Character constants
    • String constants
• A parser generator
  • Overview
  • Syntax of grammar definitions
    • Header and trailer
    • Declarations
    • Rules
  • Command-line options
  • Reporting lexer and parser errors
• Copyright and credits
• How to get Moscow ML version 1.42
• Books and other materials on Standard ML
• References