Tags: Programming Language.

ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh whose syntax is inspired by ISWIM. Historically ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover (whose language pplambda a combination of the first-order predicate calculus and the simply typed polymorphic lambda calculus had ML as its metalanguage).

designer
Robin Milner
influenced
Cyclone (programming language), Erlang (programming language), Scala (programming language), Opa (programming language), C++, Miranda (programming language), F Sharp (programming language), Felix (programming language), Clojure, Haskell (programming language)
influenced by
ISWIM

Loading...

This page contains content from the copyrighted Wikipedia article "ML (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.