Poly/ML 5.5.2
Depuis la version 4.0 de Poly / ML, il prend désormais en charge la version complète de la langue donnée dans la "Définition de Standard ML (révisée)", généralement connu comme ML97.En plus d'être mise en œuvre très rapide et efficace de Standard ML...