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 (3 sujets)
    - Context
    - Références
    - Contact
  - [Proposition de stage (M2 ou L3 Ens)]
    - TITRE: Extension de l'inférence de types polymorphes pour les langages dynamiques : typage graduel et implémentation efficace (2 sujets)
    - Context
    - Références
    - Contact
  - [Proposition de stage (M2 ou L3 Ens)]
    - TITRE: Typage graduel et sémantique pour le système de modules d'Elixir (2 sujets)
    - Context
    - Références
    - Contact
  - [Proposition de stage (M2 ou L3 Ens)]
    - TITRE : Inférence de types polymorphes assistée par LLM pour les langages dynamiques
    - Context
    - Références
    - Contact
  - [Proposition de poste postdoctoral]
    - Typage graduel et sémantique pour le système de modules d'Elixir
    - Objective of the position
    - Details of activities
    - Context
    - Comment candidater
    - Références
    - Contact
  - [Proposition de thèse]
    - Types ensemblistes pour les langages dynamiques : méta-théorie, modules et inférence
    - Objectif de la thèse
    - Contexte
    - Comment candidater
    - Références
    - Contact
- [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