All languages
Poly/ML
Homepage
https://www.polyml.org/
Author
David Matthews
An implementation of Standard ML