Giuseppe Castagna: Sitemap

Sitemap

[Giuseppe Castagna's Home Page]
- [Content example]
  - Text
  - Special elements
- [Contact]
- [Administration recente]
  - Programme and Steering Commitees
  - Research Projects
- [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
  - [Advanced Programming course]
    - Contents.
    - Essential bibliography
    - Advanced bibliography
    - Slides presented at the course
  - [Master project description]
    - TITLE: Modelling financial contracts by process algebras
    - Required background
    - References
    - Contacts
  - [Master project description]
    - TITLE: Polymorphic types for XML
    - Required background
    - References
    - Contacts
  - [Master project description]
    - TITLE: Theories, tools, and paradigms for service composition and coordination
    - Required background
    - References
    - Contacts
  - [Master project description]
    - TITLE: Functional Programming for GPUs
    - Required background
    - References
    - Contacts
  - [Master project description]
    - TITLE: Contracts for Ocsigen services.
    - Required background
    - References
    - Contacts
- [Work in progress]
  - This page is not available yet