SOCIAL

ML 1972

ML es un lenguaje de programación de propósito general de la familia de los lenguajes de programación funcional desarrollado por Robin Milner y otros a finales de los años 1970 en la Universidad de Edimburgo.

Aplican principalmente en diseño y manipulación de lenguajes de programación. desarrollar tácticas de pruebas en el sistema demostrador de teoremas. Un teorema es una proposición que afirma una verdad demostrable.

Combinación particular de conceptos. han influido el diseño de otros lenguajes. compiladores, analizadores, demostradores de teoremas.

LFC: Demostracion automática de teoremas
LCF es una linea de crédito flexible para el área de economia mundial.