Erik Ernst
IdRefMots clés
FR |
EN
Programmation orientée aspect
Monades
Raisonnement modulaire
Raisonnement compositionnel
Programmation orientée objets (informatique)
Haskell (langage de programmation)
Langages de programmation fonctionnelle
Typage
Types graduels
Types ensemblistes
Sémantique
Langages de programmation
Théorie des types
Langages de programmation -- Sémantique