Moscow ML

Latest news:
Aug 8, 2005: Now there is a self-extracting installer for Moscow ML 2.01 for Windows.
Apr 15, 2004: A version of the FXP parser for XML has been created by Andrzej Wasowski.

Moscow ML files

• Version 2.01 for Unixes:
  • source files with documentation
  • a stand-alone toplevel (mosml) compiled for Linux, created by Peter Szabo, Budapest, Hungary.
• Version 2.01 for MS Windows 95/98/ME/NT/2000/XP. Unpack with JustZIPit (free) or Info-Zip (free) or Winzip (shareware):
  • executables with documentation
  • installation instructions
  • A very convenient self-extracting Moscow ML installer for Windows by Ken Friis Larsen.
• Version 2.00 .Net release 0.9.0 for Microsoft .Net:
  • executables and documentation.
  • readme and installation instructions.
  • Moscow ML .Net-specific documentation in PDF: Manual and some information about the internals.
  • Moscow ML .Net was created by Niels Kokholm.
• Mosmake, Henning Makholm's tool to generate Makefiles for recompilation management
• Previous releases of Moscow ML.

Moscow ML documentation

• Moscow ML Library Documentation online or as a tar file or zip file.
  Paper versions (171 pages): Postscript or Postscript 2-up (86 pages) or PDF or PDF 2-up (86 pages).
• Moscow ML Owner's Manual (35 pages) in Postscript or PDF.
• Moscow ML Language Overview (24 pages) in Postscript or PDF.
• Mac-specific documentation in Postscript or PDF.
• Moscow ML 2.00 release announcement.

Other on-line Standard ML resources

• The Standard ML Basis Library (2002 edition)
• The Standard ML Basis Library (1997 edition)
• The Frequently Asked Questions from comp.lang.ml
• Mads Tofte's Tips for Computer Scientists on Standard ML (PDF, compressed Postscript). All of Standard ML in 20 pages!
• Robert Harper's Programming in Standard ML. Russian translation by Mikhail Kovtun of its predecessor Introduction to Standard ML, formatted for A4 paper (Postscript and PDF) or US Letter (Postscript and PDF).
• Stephen Gilmore's Programming in Standard ML'97
• Paulson's ML for the Working Programmer, and a Moscow ML version of the Hal proof checker
• Hansen and Rischel's Introduction to Programming Using SML
• Mads Tofte's Four Lectures on Standard ML
• Mads Tofte's Tutorial on Standard ML: Front page, body of the paper, and appendix.
• Andrew Cumming's A Gentle Introduction to ML
• Larry Paulson's Standard ML grammar (thanks to Richard Botting)
• The CMU Foxnet project - more on-line information about Standard ML
• ML Server Pages
• SML Tk, a Standard ML interface to Tcl/Tk
• mGTK: SML Bindings for GTK+
• mosmlgl: Open GL interface for Moscow ML
• SMLserver, safe and efficient SML web scripting on top of AOLserver

Other Standard ML implementations

• The Standard ML of New Jersey implementation
• The MLWorks implementation - no longer available from Harlequin Ltd.
• The SML.NET implementation from Cambridge University and Microsoft Research Cambridge
• The MLJ implementation at Edinburgh University (originally at Persimmon IT)
• Poly ML by Dave Matthews
• The MLton whole-program optimizing SML compiler
• The ML Kit project

Authors and credits

Moscow ML was created by Sergei Romanenko at the Keldysh Institute of Applied Mathematics, Russian Academy of Sciences, Moscow, Claudio Russo at Cambridge University, UK, Niels Kokholm at the IT University of Copenhagen (Moscow ML for .Net), Ken Friis Larsen at the IT University of Copenhagen, and Peter Sestoft at the Royal Veterinary and Agricultural University, Copenhagen, Denmark.

Moscow ML uses the entire runtime system and many other ideas from the Caml Light implementation created by Xavier Leroy and Damien Doligez.

Doug Currie created the MacOS port and considerably improved the bytecode interpreter.

Bugs and problems