Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (5)
  • Paris 11 (4)
  • Palaiseau, Ecole polytechnique (2)
  • Aix-Marseille 1 (1)
  • Grenoble INPG (1)
  • Lille 1 (1)
  • Nice (1)
  • Paris 6 (1)
  • Sorbonne Paris Cité (1)
  • Università degli studi (Gênes, Italie) (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (10)
  • Sciences appliquées (5)
  • Informatique et mathématiques (1)
  • Informatique. Informatique fondamentale (1)
  • Sciences et techniques (1)
  • Sciences et techniques communes (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (16)
  • anglais (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cousineau Guy (3)
  • Boudol Gérard (2)
  • Mauny Michel (2)
  • Rémy Didier (2)
  • Amadio Roberto (1)
  • Castagna Giuseppe (1)
  • Cousot P. (1)
  • Delahaye Jean-Paul (1)
  • Jouannaud Jean-Pierre (1)
  • Kirchner Claude (1)
  • Kodratoff Yves (1)
  • Moreau Pierre-Etienne (1)
  • Osorio Angel (1)
  • Pottier François (1)
  • Pouzet Marc (1)
  • Puel Laurence (1)
  • Queinnec Christian (1)
  • Zucca Elena (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (12)
  • Sciences de l'ingénieur (5)
  • Technologie (Sciences appliquées) (2)
  • Sciences de la nature et mathématiques (1)
  • Mathématiques (1)

Domaines :

Fullscreen

19 thèses pour "Inférence de types"

...divers développeurs. L’implémentation de l’inférence de types est intelligente etconçue pour être rapide...

Accéder en ligne
Sciences et techniques

Soutenue en 2000
thèse soutenue
Informatique. Informatique fondamentale

Soutenue le 14-03-2019
thèse soutenue
Informatique

Soutenue en 1994
thèse soutenue
Sciences appliquées

Soutenue en 1990
thèse soutenue

Modeles de calculs multiparadigmes fondes sur la reecriture

par MARIA ISABEL FERNANDEZ ROMERO sous la direction de Jean-Pierre Jouannaud - Paris 11

Sciences appliquées

Soutenue en 1993
thèse soutenue

Résultats 1 à 10