ML programming language family

F# (pronounced F sharp) is a strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming techniques.

MLton is an open source, whole-program optimizing compiler for the Standard ML (SML) programming language.

ATS (Applied Type System) is a programming language designed to unify programming with formal specification.

Elm is a domain-specific programming language for declaratively creating web browser-based graphical user interfaces.

Nemerle is a general-purpose high-level statically typed programming language designed for platforms using the Common Language Infrastructure (.NET/Mono).

Dependent ML is an experimental functional programming language proposed by Hongwei Xi () and Frank Pfenning.

JoCaml is an experimental functional programming language derived from OCaml.

Caml (originally an acronym for Categorical abstract machine language) is a dialect of the ML programming language family, developed at INRIA and formerly at ENS.

Alice ML is a programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany.

Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.

Lazy ML (LML) is a functional programming language developed in the early 1980s by Lennart Augustsson and Thomas Johnsson at Chalmers University of Technology, prior to Miranda and Haskell.

Moscow ML is an implementation of Standard ML.

Extensible ML (EML) is an ML-like programming language that adds support for object-oriented idioms in a functional setting.

F* (pronounced F star) is an ML-like functional programming languageaimed at program verification.

OCaml (/oʊˈkæməl/ oh-KAM-əl), originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez and others in 1996.

Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for Standard ML.

MacroML is an experimental programming language based on the ML programming language family that seeks to reconcile ML's static typing systems, and the types of macro systems more commonly found in dynamically typed languages like Scheme; this reconciliation is difficult as macro transformations are typically Turing-complete and so can break the type safety guarantees static typing is supposed to provide.

ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM.

Ur also called Ur/Web is a Free and Open source functional programming language specific for web development, created by Adam Chlipala at the Massachusetts Institute of Technology that from a single program produces server code, browser client code and SQL code specific for the chosen database backend.

Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language.