Programming Languages Research Seminar
- ÕIS data: MTAT.03.271, 3 ECTS.
- Time: Mondays 14:15-16:00.
- Place: Delta-2010.
- Language English.
- Contact: Chad Nester and Matthew Earnshaw (feat. Ahman, Apinis, Vojdani).
- Zulip (log into courses to see link)
This semester we will learn a bit of category theory.
Assessment will be mainly through student presentations on pre-selected topics during the semester, and through a final presentation and report on a student-selected topic at the end of the semester.