Toutes les news taguées avec ce sujet.
Poly/ML est une implémentation complète et mature du langage Standard ML, disponible en open source sur GitHub.