Giuseppe Castagna
Giuseppe Castagna a rédigé la thèse suivante :
Surcharge, sous-typage et liaison tardive : fondements fonctionnels de la programmation orientee objets
par Giuseppe Castagna sous la direction de Giuseppe Longo - Paris 7
Sciences appliquées
Soutenue en 1994
Giuseppe Castagna a dirigé les 9 thèses suivantes :
A semantic foundation for gradual set-theoretic types
par Victor Lanvin sous la direction de Giuseppe Castagna - Université Paris Cité
Informatique
Soutenue le 09-11-2021
Polymorphic set-theoretic types for functional languages
par Tommaso Petrucciani sous la direction de Giuseppe Castagna et de Elena Zucca . - Sorbonne Paris Cité
Informatique. Informatique fondamentale
Soutenue le 14-03-2019
Polymorphisme paramétrique pour le traitement de documents XML
par Zhiwu Xu sous la direction de Giuseppe Castagna et de Haiming Chen . - Paris 7
Informatique
Soutenue en 2013
Session type : semantic foundations and object-oriented applications
par Elena Giachino sous la direction de Giuseppe Castagna - Paris 7
Informatique
Soutenue en 2009
Langage de combinateurs pour XML : conception, typage, implantation
par Kim Nguyen sous la direction de Véronique Benzaken et de Giuseppe Castagna . - Paris 11
Informatique
Soutenue en 2008
Théorie, conception et réalisation d'un langage de programmation adapté à XML
par Alain Frisch sous la direction de Giuseppe Castagna - Paris 7
Informatique
Soutenue en 2004
De la sémantique des processus d'ordre supérieur
par Francesco Zappa Nardelli sous la direction de Giuseppe Castagna - Paris 7
Informatique
Soutenue en 2003
Calculs types pour la sécurité dans des systèmes répartis avec mobilité
par Michele Bugliesi sous la direction de Giuseppe Castagna - Paris 7
Informatique
Soutenue en 2003
Sous-typage, conversion de types et elimination de la transitivite
par Gang Chen sous la direction de Giuseppe Longo et de Giuseppe Castagna . - Paris 7
Sciences et techniques
Soutenue en 1998
Giuseppe Castagna a été membre de jury des 2 thèses suivantes :
Types union, intersection, et dépendants dans le lambda-calcul explicitement typé
par Claude Stolze sous la direction de Luigi Liquori - Université Côte d'Azur (ComUE)
Informatique
Soutenue le 16-12-2019
Un système de types pragmatique pour la vérification déductive des programmes
par Léon Gondelman sous la direction de Jean-Christophe Filliâtre - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 13-12-2016
