Dependent type
article-link
What links here
Epigram (programming language)
Per Martin-Löf
article-link
Intuitionistic type theory
article-link
Type system
article-link
List of programming languages
article-link
Unification (computer science)
article-link
Turing completeness
article-link
Timeline of programming languages
article-link
List of programmers
article-link
Functional programming
article-link
List of computer scientists
article-link