The Poly/ML implementation of Standard
Full multiprocessor support in the thread library and garbage
Preferred implementation for large projects including Isabelle
Latest news: Poly/ML version 5.8.2 has been
released.There is an experimental code-generator for ARM64 in the git repository.
The development version is now on Git at GitHub (https://github.com/polyml).
is a Poly/ML mailing list available at the University of Edinburgh.