This is the
Poly/ML home page.
Poly/ML is a full implementation of Standard ML available as open-source.
Latest news: Poly/ML Version
5.5.2 has now been released.
site has now been upgraded and the SVN path has changed.
is a Poly/ML mailing list available at the University of Edinburgh.