Dependently typed programming

1. REDIRECT Dependent type {{R with possibilites}}

Category:Programming paradigms

Category:Programming language classification