Conor McBride
IdRefMots clés
FR |
EN
Ornements (informatique)
Relations logiques
Refactorisation
Types (informatique)
Langages de programmation fonctionnelle
ML (langage de programmation)
Assistants à la Preuve
Typage Bidirectionnel
Calcul des Constructions Inductives
Typage Graduel
Théorie des types
Induction (logique)
Mathématiques formelles
Algorithmes certifiés
Coq
Algèbre linéaire
Preuves formelles
Calculs efficaces vérifiés
Homologie
Formalisme (mathématiques)