Poly/ML je implementacija programskog jezika Standard ML, prvotno razvijena u eksperimentalnom jeziku Poly. Od verzije 4.0 u potpunosti je usklađena sa standardom ML97, a razvojno okruženje nudi brojne knjižnične proširenja, među kojima i knjižnicu za rad s nitima. Programski paket podržava arhitekture i386 (32- i 64-bitne) te ARM (samo 64-bitni), dok se na drugim arhitekturama može koristiti uz pomoć interpretera bajtkoda.