Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Ouvrages
Thèse nationale
Vérification des résultats de l'inférence de types du langage OCaml
Vérification des résultats de l'inférence de types du langage OCaml
Université Ibn Khaldoun
Date de soutenance: 29-01-2020
Encadrant
DEROUICH Abderrahmane