 This is the
Poly/ML home page.
Poly/ML is a full implementation of Standard ML available as open-source.
Poly/ML 5.1 has now been released. Major changes
since 5.0 include true multi-threading
and state saving. For other
changes and bug fixes see the release
notes.
There
is a Poly/ML mailing list available at LFCS.
|
