A trustworthy and extensible core language for Agda (Veni interview rehearsal)
Jesper Cockx
Date: Wed, September 09, 2020
Time: 12:00
Room: Jesper's Zoom Room
Previous:
| Opening of the Delft PL Academic Year
Next:
Vladimir Zamdzhiev | Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory