New PhD students in TU Delft Programming Languages group
Date: Thu, February 01, 2024
Time: 12:00
Room: TBA
Previous:
Jaro Reinders | Universes and relative indexed monads for type safe syntax and semantics
Next:
David Binder | Symmetric Dependent Data and Codata Types