Dependent TypesA term describing a type system where types can depend on values.
Programming languages with Dependent Types:
- Cayenne - A variant of the Haskell lazy functional programming language with dependent types
- 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
- Epigram - A functional programming language with Dependent Types
- Xanadu language - An imperative programming language with dependent types