Concept

ML (programming language)

Overview

ML (Meta Language) is the metalanguage developed for the Edinburgh LCF theorem prover in the 1970s. It is an early statically typed, functional language with polymorphic type inference in the Hindley–Milner style, and other features like exceptions and mutable variables. ML's design in LCF directly inspired the later ML family (notably Standard ML, Caml, and their derivatives) and influenced subsequent functional language development.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• First-order logic
• University of Edinburgh
• Metalanguage
• Rocq
• Currying
• Logic for Computable Functions

Place in the tradition

Part of Type theory.

Explore ML (programming language) in the interactive graph →