CTO CLiki for the TUNES project

Home Recent Changes About CLiki Text Formatting Create New Page

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.

• Home Page for DML