Poly/ML is a Standard ML implementation that has been fully compatible with the ML97 standard since version 4.0. It features a fast compiler, avoids incompatible extensions, and includes various library extensions, particularly a thread library.