Poly/ML is Standard ML implementation fully conforming to the 1997
"Definition of Standard ML (Revised)", generally known as ML97.

Homepage:
https://polyml.org/
