PL Seminar: Type Theory
- ÕIS data: MTAT.03.271, 3 ECTS
- Time: Mondays, 12:15. (Starting September 10)
- Place: J. Liivi 2-512.
- Teacher: Härmel Nestra
The programming language research seminars are a series of independent courses/seminars that focus on different topics in programming languages. While the study information system presents this as a 12 ECTS course with 4 parts, the parts are not dependent on each other.
This seminar will provide an introduction to Type Theory. The lecturer will cover the core topics, based on the textbook Types and Programming Languages, leaving some of the advanced topics for student presentations. The course is mainly intended for graduate students, but highly motivated undergraduate students can also do well. Familiarity with functional programming is useful but not essential.