ML programming language

ML (standing for "Meta-Language") was a functional programming language developed in the early 1980s at Edinburgh University. Today there are several languages in the ML family; the most popular are SML? (Standard ML) and Ocaml?.