ML

Functional programming language

Softwareprogramming language procedural programming language functional programming languageQ860654

Developer: Robin Milner
Founded: 1973

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

ML 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 and influenced subsequent functional language development.

Overview

All data

23 statements · 13% with external sources · numbers in brackets are citations

Influenced by: ISWIM
Designed by: Robin Milner
Programming paradigm: procedural programming
functional programming
imperative programming
Typing discipline: inference typing
static typing
strong typing

On other databases

10 identifiers linking ML across the web's reference databases

Data quality

statements

13%

externally sourced

Source last edited July 10, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q860654

API docs, limits & keys

Cite this page

AIDB. (2026). ML (Q860654). Retrieved from https://aidb.si/e/ml-Q860654