Knowledge Tree

researcher / Giuseppe Castagna

Giuseppe Castagna

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Surcharge, sous-typage et liaison tardive : fondements fonctionnels de la programmation orientee objets

Directed Thesis:

Session type : semantic foundations and object-oriented applications

Langage de combinateurs pour XML : conception, typage, implantation

Théorie, conception et réalisation d'un langage de programmation adapté à XML

Calculs types pour la sécurité dans des systèmes répartis avec mobilité

De la sémantique des processus d'ordre supérieur

Sous-typage, conversion de types et elimination de la transitivite