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.8.1 has been released.
The development version is now on Git at GitHub (https://github.com/polyml).
There is a Poly/ML mailing list available at the University of Edinburgh.
Last updated: by David Matthews.