Ml — programming languages family

14 programming languages in the ml family.

Name	Years	Status	Family	Creator / origin
ML	1973–	Superseded	ML	Robin Milner et al / Edinburgh
Standard MLSML	1983–	Dormant	ML	Milner, Morris, Newey et al / Edinburgh & Bell Labs
Miranda	1985–	Dead	ML	David Turner
Clean	1987–	Dormant	ML	University of Nijmegen
RocqCoq	1989–	Alive	ML	Thierry Coquand / INRIA
Haskell	1990–	Alive	ML	Haskell committee
OCaml	1996–	Alive	ML	Xavier Leroy et al / INRIA
Scala	2004–	Alive	ML	Martin Odersky / EPFL
F#	2005–	Alive	ML	Don Syme / Microsoft Research
Fortress	2006–2012	Dead	ML	Guy Steele / Sun Labs
Agda	2007–	Alive	ML	Ulf Norell / Chalmers
Idris	2007–	Alive	ML	Edwin Brady
Elm	2012–	Dormant	ML	Evan Czaplicki
Lean	2013–	Alive	ML	Leonardo de Moura / Microsoft Research