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.3 has now been released.

There is a Poly/ML mailing list available at the University of Edinburgh.

Last updated: by David Matthews.