ML es el acrónimo inglés de metalenguaje dado que fue concebido como el lenguaje para desarrollar tácticas de demostración en el sistema LCF (El lenguaje para el cual ML era metalenguaje es "pplambda", una combinación del cálculo de predicados de primer orden y el lambda-cálculo polimórfico sencillamente tipificado).