Standard ML (SML) es un lenguaje de programación funcional, modular, de alto nivel y de propósito general con verificación de tipos en tiempo de compilación e inferencia de tipos. Es popular para escribir compiladores, para la investigación en lenguajes de programación y para desarrollar demostradores de teoremas.
- Inception
- 1983
- Website
- https://smlfamily.github.io/
