Category:Dependently typed programming
This category has only the following subcategory.
- ► Dependently typed languages (15 P)
Pages in category "Dependently typed programming"
The following 12 pages are in this category, out of 12 total.
- Brouwer–Heyting–Kolmogorov interpretation (computing)
- Generalized algebraic data type (computing)
- Higher-order abstract syntax (computing)
- Logical framework (computing)
- Proof-carrying code (computing)
- Type variable (computing)