ML

Updated About encyclopedia.com content Print Article Share Article
views updated

ML A functional language developed at Edinburgh University in the late 1970s to support a formal proof system (Logic for Computable Functions), which was later developed into a general-purpose functional programming language. See also standard ML.