メタ言語
Standard MLやOCaml、F#などの言語の源流であるMLは、元々は1970年代にロビン・ミルナーと彼の研究グループが開発したMeta Languageという名前の定理証明システムとその内部で使用されたメタ言語(すなわち、証明を記述するために使用された言語)であった。