C. Di Giusto
Type Systems
S3 3 ECTS 24h OPT cinzia.di-giusto@univ-cotedazur.fr
Cours
We will introduce the main concepts on simple, recursive, and polymorphic types. We will also cover an introduction to the typed lambda calculus and subtyping.
Resources
- Moodle pages
- Types and Programming Languages. Benjamin Pierce. MIT Press 2002