The Poly/ML implementation of Standard ML. 

Features
Full multiprocessor support in the thread library and garbage collector
Interactive debugger
Fast compiler
Preferred implementation for large projects including Isabelle and HOL4.

Latest news: Poly/ML version 5.9.2 has been released.

The development version can be found at GitHub (https://github.com/polyml).

The Poly/ML mailing list is now at lists.polyml.org.

Last updated: by David Matthews.