Week 9 (T)

20 Abril 2023, 13:00 • Diogo Filipe da Paz de Barros

• Lecture 9, 20/04/2023 (slides, source)
• External DSLs: Type checking