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.7.1 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.
|
