Giuseppe Castagna: Sitemap

Sitemap

[Giuseppe Castagna's Home Page]
- [Content example]
  - Text
  - Special elements
- [Contact]
- [Recent Administration]
  - Expert evaluation
  - Steering Commitees and PC Chair
  - Programme Commitees
- [Publications by type]
- [Publications by topic]
- [Selected publications]
- [Sitemap]
- [About this site]
- [Teaching]
  - [Theory of subtyping]
    - Contents
    - Essential bibliography
    - Advanced bibliography
    - Slides presented at the course
    - Final examination with answers:
  - [Advanced Programming course]
    - Contents.
    - Essential bibliography
    - Advanced bibliography
    - Slides presented at the course
    - Tutorials
  - [Project description]
    - TITLE: Advanced Typing of Map Data Structures in Elixir (3 internship subjects)
    - Context
    - References
    - Contact
  - [Project description]
    - TITLE: Extending Polymorphic Type Inference for Dynamic Languages: Gradual Typing and Efficient Implementation (2 internship subjects)
    - Context
    - References
    - Contact
  - [Project description]
    - TITLE: Gradual and Semantic Typing for Elixir's Module System (2 internship subjects)
    - Context
    - References
    - Contact
  - [Project description]
    - TITLE: LLM-Assisted Polymorphic Type Inference for Dynamic Languages
    - Context
    - References
    - Contact
  - [Postdoctoral position description]
    - Gradual and Semantic Typing for Elixir's Module System
    - Objective of the position
    - Details of activities
    - Context
    - How to apply
    - References
    - Contact
  - [PhD position description]
    - Set-Theoretic Types for Dynamic Languages: Meta-Theory, Modules, and Inference
    - Objective of the thesis
    - Context
    - How to apply
    - References
    - Contact
- [Reseach Projects]
  - Current Projects
  - Old Projects
- [Work in progress]
  - This page is not available yet
- [Work in progress]
  - This page will be soon available
- [European Symposium on Programming (ESOP)]
  - The conference
  - Steering Committee
  - Program Committee Chair
  - Timetable for ESOP nn
  - Past and forthcoming editions
  - Contact