Poly/ML – A Standard ML Implementation
Summary
Poly/ML is a Standard ML implementation with ML97 compatibility, originating from an experimental language called Poly. It emphasizes a conservative language stance, adds a thread library for multi-core use, and provides features like FFI, a symbolic debugger, and Windows support, with native builds for i386 and ARM and an LGPL-2.1 license.