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.

• Poly/ML Home Page
• Poly/ML Basis (standard library) Documentation
• Poly/ML mailing list
• Source code

• How to use the SML/NJ library in Poly/ML