Tag
Poly/ML is a Standard ML implementation compatible with the ML97 standard, known for its fast compiler, foreign function interface, thread library, and use as the preferred implementation for large projects like Isabelle and HOL.