Poly/ML – A Standard ML Implementation

Poly/ML is a Standard ML implementation, compatible with the ML97 standard since version 4.0. It maintains a conservative approach to the language while offering library extensions, notably a thread library for multi-core processing and a parallelized garbage collector. Poly/ML is favored for large projects like Isabelle and HOL due to its fast compiler, foreign function interface, and symbolic debugger. It supports i386 and ARM architectures, with a mailing list available for support.