Opening of the Delft PL Academic Year
Date: Wed, September 02, 2020
Time: 12:00
Room: Eelco's Zoom Room
Previous:
| Comparing Static Semantics Specifications for the IceDust DSL: A Case Study of Statix
Next:
Jesper Cockx | A trustworthy and extensible core language for Agda (Veni interview rehearsal)