CTO CLiki for the TUNES project

Home About CLiki Text Formatting

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