Opening of the Delft PL Academic Year
Date: Wed, September 02, 2020
Time: 12:00
Room: Eelco's Zoom Room
Previous:
| Case study on applying WebDSL and IceDust in conjunction
Next:
Jesper Cockx | A trustworthy and extensible core language for Agda (Veni interview rehearsal)