Catégorie:Théorie des types
Pages dans la catégorie « Théorie des types »
Cette catégorie contient les 75 pages suivantes.
C
H
L
S
T
- Théorie homotopique des types
- Trait (programmation)
- Typage dynamique
- Typage fort
- Typage statique
- Type (informatique)
- Type abstrait
- Type algébrique de données
- Type algébrique généralisé
- Type dépendant
- Type personnalisé
- Type produit
- Type récursif
- Type somme
- Type unité
- Type valeur et type référence
- Type vide