ML Dialects

ML Dialects are the direct descendants of ML (Meta Language), the statically typed functional language with Hindley-Milner polymorphic type inference developed for the Edinburgh LCF theorem prover in the 1970s. Standard ML is described in its own Wikipedia article as a modern dialect of ML, standardizing the language used in the LCF project, and its own infobox names ML itself, along with Hope and Pascal, among its stated influences. Caml, whose name originally stood for Categorical Abstract Machine Language, is described in its own Wikipedia article as a multi-paradigm functional programming language that is a dialect of the ML programming language family. ML itself is the family origin rather than a dialect of itself, so it is not placed as a member of this group. Each member placed under this group carries its own separate citation for the specific fact that places it in this family.