Giuseppe Castagna: Plan du site

[Page Web de Giuseppe Castagna]
- [Exemple de contenu]
  - Texte
  - Elements spéciaux
- [Coordonnées]
- [Administration recente]
  - Expert evaluation
  - Comités de pilotage et présidence de comités de selection
  - Comités de sélection et de pilotage
- [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 ou L3 Ens)]
    - TITRE: Typage avancé des dictionnaires en Elixir
    - Références
    - Contact
  - [Proposition de postdoc ou de stage de master]
    - TITRE: Le typage des modules en Elixir
    - Références
    - Contact
  - [Proposition de stage master]
    - TITRE: Étude du polymorphisme pour des types enregistrement dans un système avec types union, intersection et négation et leur application au langage Elixir.
    - Références
    - Lectures conseillées
    - Contact
  - [Proposition de Post-doc]
    - TITRE: Étude du polymorphisme pour des types enregistrement dans des langages dynamiques
    - Références
    - Contacts
- [Projets de recherche]
  - Projets actifs
  - Projets passés
- [Travaux en cours]
  - Cette page n'est pas disponible pour le moment
- [Travaux en cours]
  - Cette page sera bientôt disponible
- [European Symposium on Programming (ESOP)]
  - The conference
  - Comité de Pilotage
  - Président du Comité de Programme
  - Timetable for ESOP nn
  - Past and forthcoming editions
  - Contact