Descrição
Programas Standard ML podem ser compilados e executados com uma implementação Poly/ML que inclui correções da versão. Esta ferramenta de linguagem é útil para desenvolvedores, estudantes e pesquisadores que trabalham com código da família ML. Ela executa programas do usuário, então código-fonte e scripts de build devem ser revisados antes da execução.