Langages de programmation : systèmes de types, concurrence, preuve de programme
Tutelles : Collège de France Paris, Institut national de la recherche en informatique et automatique
Disciplines : informatique, ingenierie
📚 99 publications sur HAL open science →
Publications récentes (HAL)
Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)