MLton
PolyML
Poly/ML
is a
Standard ML implementation
.
Also see
Matthews95