ML ("
Meta Language") is a general-purpose functional programming language. It has roots in Lisp, and has been characterized as "Lisp with types". ... It is used heavily in programming language research and is one of the few languages to be completely specified and verified using formal semantics.
