22.5.19
PLFA in Padova
Next week, I will teach six hours of classes based on PLFA, and deliver a departmental seminar on the same topic. Maybe I will see you there!
Seminar: 16.00-17.00 Tue 28 May (details)
Classes: 12.30-15.30 Wed-Thu 29-30 May (details)
Labels: Agda, Education, Functional Programming, Types
