ML

ML es el metalenguaje desarrollado para el probador de teoremas Edinburgh LCF en la década de 1970. Es un lenguaje funcional tipado estáticamente temprano con inferencia de tipos polimórfica al estilo de Hindley–Milner, y otras características como excepciones y variables mutables. El diseño de ML en LCF inspiró directamente a la familia ML posterior e influyó en el desarrollo subsiguiente de lenguajes funcionales.

Inception

1973