Plan du site
- [Page Web de Giuseppe Castagna]
- Intérêts actuels
- Prix et distinctions
- Publications
- Miscellanea
- Quelques Liens
- Derniers travaux (novembre 2011)
- [Exemple de contenu]
- [Coordonnées]
- [Administration recente]
- Programme and Steering Commitees
- Research Projects
- [Publications par genre]
- [Publications par sujet]
- [Publications choisies]
- [Plan du site]
- [A propos de ce site]
- [Enseignement]
- [Théorie du sous-typage]
- Contenu du cours.
- Bibliographie essentielle
- Pour aller plus loin :
- Transparents utilisé dans le cours:
- Exament final et corrigé:
- [Cours Avancé de Langages de Programmation]
- Contenu du cours.
- Bibliographie essentielle
- Pour aller plus loin :
- Transparents utilisé dans le cours:
- Travaux dirigés
- [Proposition de stage M2]
- TITRE: Utilisation des algèbres de processus pour la modélisation de contrats financiers
- Pré-requis et rétribution
- Références
- Contacts
- [Proposition de stage M2]
- TITRE: Polymorphisme pour XML
- Pré-requis
- Références
- Contacts
- [Proposition de stage M2]
- TITRE: Théories, outils et paradigmes pour la composition et coodination de services.
- Pré-requis
- Références
- Contacts
- [Propositions de stage M2]
- TITRE: Autour d'XML, Types, mu-calcul et solveurs
- Pré-requis
- Bibliographie
- Contacts
- [Proposition de stage M2]
- TITRE: Programmation fonctionnelle pour Cartes Graphiques.
- Pré-requis
- Références
- Contacts
- [Proposition de stage M2]
- TITRE: Contrats pour la vérification de services Ocsigen.
- Pré-requis
- Références
- Contacts
- [Théorie du sous-typage]
- [Travaux en cours]
- Cette page n'est pas disponible pour le moment
