Poly/ML
Poly/ML is an implementation of Standard ML.
Other implementations of Standard ML.
Poly/ML is an SML implementation featuring multiprocessing capabilities, a fast compiler and an interactive debugger. It was created at the Computer Laboratory at Cambridge University and is actively maintained.