ML stands for meta language. ML was originally designed in the
1970s as a programming language to assist theorem proving in the logic
LCF. In the 1980s, ML split into two variants,
Standard ML and OCaml, both of which are still used
Last updated Wed Jan 15 16:12:56 2014 -0500 by Matthew Fluet.