SettingsML programming language family
Alice (programming language)
Alice ML is a functional programming language designed by the Programming Systems Lab at Saarland University.
Alice ML is a functional programming language designed by the Programming Systems Lab at Saarland University.
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.
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.
Concurrent ML
Concurrent ML (CML) is a concurrent extension of the Standard ML programming language.
Concurrent ML (CML) is a concurrent extension of the Standard ML programming language.
Dependent ML
Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may be depende...
Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may be depende...
Extended ML
Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language.
Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language.
Extensible ML
Extensible ML (EML) is an ML-like programming language that adds support for object-oriented idioms in a functional setting.
Extensible ML (EML) is an ML-like programming language that adds support for object-oriented idioms in a functional setting.
F Sharp (programming language)
F# is a multi-paradigm programming language, targeting the .NET Framework, that encompasses functional programming as well as imperative and object-oriented programming disciplines.
F# is a multi-paradigm programming language, targeting the .NET Framework, that encompasses functional programming as well as imperative and object-oriented programming disciplines.
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.
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.
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...
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...
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. Historically, M...
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. Historically, M...
MLton
MLton is an open source, whole-program optimizing compiler for the Standard ML programming language.
MLton is an open source, whole-program optimizing compiler for the Standard ML programming language.
Nemerle
Nemerle is a general-purpose high-level statically typed programming language for the .NET (see also Mono) platform.
Nemerle is a general-purpose high-level statically typed programming language for the .NET (see also Mono) platform.
Objective Caml
Objective Caml, or OCaml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
Objective Caml, or OCaml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
OCaml
OCaml, 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 and others in 1996.
OCaml, 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 and others in 1996.
Rpal
RPAL is a functional programming language related to the ML programming language.
RPAL is a functional programming language related to the ML programming language.
Standard ML
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
Standard ML of New Jersey
Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for Standard ML. Aside from its runtime system, which is written in C, SML/NJ is written in Standard ML. It was...
Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for Standard ML. Aside from its runtime system, which is written in C, SML/NJ is written in Standard ML. It was...