Poly/ML is a Standard ML implementation.

Also see