F# (pronounced F sharp) is a strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming techniques.
MLton
MLton is an open source, whole-program optimizing compiler for the Standard ML (SML) programming language.
ATS (programming language)
ATS (Applied Type System) is a programming language designed to unify programming with formal specification.
Elm (programming language)
Elm is a domain-specific programming language for declaratively creating web browser-based graphical user interfaces.
Nemerle
Nemerle is a general-purpose high-level statically typed programming language designed for platforms using the Common Language Infrastructure (.NET/Mono).
Dependent ML
Dependent ML is an experimental functional programming language proposed by Hongwei Xi () and Frank Pfenning.
JoCaml
JoCaml is an experimental functional programming language derived from OCaml.
Caml
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 (programming language)
Alice ML is a programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany.
Standard ML
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
Lazy ML
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
Moscow ML is an implementation of Standard ML.
Extensible ML
Extensible ML (EML) is an ML-like programming language that adds support for object-oriented idioms in a functional setting.
F* (programming language)
F* (pronounced F star) is an ML-like functional programming languageaimed at program verification.
OCaml
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
Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for Standard ML.
MacroML
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 (programming language)
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 (programming language)
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
Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language.