Poly/ML: una implementación de Standard ML rápida y compatible con el estándar ML97
Poly/ML es una implementación del lenguaje de programación Standard ML escrita originalmente en un lenguaje experimental llamado Poly. Desde la versión 4.0 mantiene plena compatibilidad con el estándar ML97 y adopta un enfoque conservador, evitando extensiones incompatibles con la norma, aunque inco
