DML

An acronym for Dependent ML, a conservative extension of the functional programming language ML with a type system enriched with a restricted form of dependent types. See also Xanadu language.