Types and Programming Languages. Benjamin C. Pierce. MIT Press, 2002.
Learning Objectives
At the end of the course, students should have acquired the following competences:
1) A rigorous approach, based on type theory, the study of problems related to the design of languages, their extensions and implementations.
2) Ability to use formal techniques to try to study the properties of the programs.
3) A preparation sufficiently deep (on semantics and types) to allow the deepening of research publications on the topics discussed.