Poly/ML 5.5.2
Так как версия Poly / ML 4.0, теперь он поддерживает полную версию языка, как указано в "Определение Standard ML (пересмотренная)", как правило, известны как ML97.Как хорошо, как очень быстро и эффективная реализация стандартного ML Poly / ML...