ML

ML stands for Metalanguage, a kind of declarative programming language.

Examples:
 * Erlang
 * F#
 * Haskell
 * OCaml