This is the
Poly/ML home page.
Poly/ML is a full implementation of Standard ML available as
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.
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.