This is the Poly/ML home page. 

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

Poly/ML 5.2 has now been released.

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

Last updated: by David Matthews.