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
    - References
    - Contact
  - [Project description]
    - TITLE: Typing Behaviors for Elixir
    - References
    - Contact
  - [Master project description]
    - TITLE: Polymorphic records in a system with union, intersection, and negation types and their application to the Elixir language
    - References
    - Additional Readings
    - Contact
  - [Post-doc project description]
    - TITLE: Polymorphic records in dynamic languages
    - References
    - Contacts
- [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