Poly/ML – A Standard ML Implementation
Poly/ML is a robust implementation of the Standard ML programming language that prioritizes compatibility and performance. It features a fast compiler, a parallelized garbage collector, and support for multiple hardware architectures including ARM and x86.
Why it matters
As a foundational tool for large-scale formal verification projects like Isabelle and HOL, it remains a critical component in academic and high-assurance software development.
Poly/ML is a Standard ML implementation originally written in an experimental language called Poly . It has been fully compatible with the ML97 standard since version 4.0. For a full history, see here .
The content is a technical overview of a software project and contains no subjective or political framing.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in