Standard ML

Standardized in 1990 (revised 1997). The first formally defined programming language with a complete rigorous semantics. Direct descendant of ML, featuring modules with functors. Influenced OCaml, Haskell, and Rust.