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