Poly/ML Home Page (original) (raw)

The Poly/ML implementation of Standard ML.

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

The development version is now on Git at GitHub (https://github.com/polyml).

There is a Poly/ML mailing list available at the University of Edinburgh.