Dependent Types

A 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

Pages in this topic: Cayenne DML Epigram Xanadu language