CTO CLiki for the TUNES project

Home About CLiki Text Formatting

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