Dependent type
article-link
What links here
Lennart Augustsson
David Turner (computer scientist)
article-link
LPMud
article-link
Tim Sweeney
article-link
Unreal Engine
article-link
Intuitionistic type theory
article-link
Functional programming
article-link
List of programmers
article-link
List of computer scientists
article-link