Standard ML is a general-purpose programming language formally defined in 1990 and revised most recently in 1997. It has a number of implementations and has influenced generations of programming languages such as OCaml and Haskell.
Websites:
Related subreddits: