Poly/ML Home
About Poly/ML
Documentation
Get Poly/ML
Poly/ML

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.6 has now been released.

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.

Poly Parrot

Last updated: by David Matthews.