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 has been released. This includes a code-generator for the ARM64.