Accueil
🇫🇷
Chercher
Catégorie:Théorie des types
Arborescence de l'informatique
Catégorie mère
Projet
Portail
Café
Article principal :
Théorie des types.
Pages dans la catégorie « Théorie des types »
Cette catégorie contient les 70 pages suivantes.
Théorie des types
A
Ada (langage)
Automath
C
Calcul des constructions
Caml
Continuation (informatique)
Conversion de type
Coq (logiciel)
Correspondance de Curry-Howard
Haskell Curry
D
Olivier Danvy
Gilles Dowek
Duck typing
F
Filtrage par motif
G
Jean-Yves Girard
Georges Gonthier
H
Haskell
I
Jean Ichbiah
Inférence de types
Inversion des dépendances
J
Simon Peyton Jones
Jean-Pierre Jouannaud
K
Jean-Louis Krivine
L
Lambda cube
Lambda-calcul
Langage d'assemblage typé
Le Système U
Xavier Leroy
Barbara Liskov
Logique combinatoire
Logique intuitionniste
Logique linéaire
M
Per Martin-Löf
Bertrand Meyer
Robin Milner
Mixin
P
Claude Pair
PhoX (logiciel)
Principe de substitution de Liskov
Principe ouvert/fermé
PureScript
R
Référence (programmation)
Réseau de preuves
Bertrand Russell
S
Substitution explicite
Sûreté du typage
Système F
Système nominatif de types
Système structurel de types
T
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
V
Vacuité
Void
W
Philip Wadler
Benjamin Werner
Jeannette Wing