Poly/ML Home
About Poly/ML
Support for Poly/ML
Get Poly/ML


This is the Poly/ML home page. 

Poly/ML is a full implementation of Standard ML available as open-source. 

The current release version is now 4.1.3.  This is significantly faster than version 4.0 both in compilation and run-time.  It also includes a symbolic debugger which allows breakpoints to be set and local variables to be viewed as ML values.   The Windows version includes an environment for running Poly/ML and editing ML source files as well as a Windows programming interface.

Latest news: Version 4.1.3 Released.  Main changes: improved support for large databases, switches to control printing, support for Mac OS X 10.2.  See the release notes for a full description of the changes.

There is now a Poly/ML mailing list available at LFCS.

Thanks to the Laboratory for Foundations of Computer Science, Division of Informatics, University of Edinburgh for hosting this site.

Poly Parrot
For more information about Poly/ML please contact David Matthews.

Last updated: by David Matthews.