No seminar (SPLASH conference)
t.b.a.
Date: Wed, October 20, 2021
Time: 12:00
Room: t.b.a.
Previous:
Arjen Rouvoet | Correct by Construction Language Implementations
Next:
Cas van der Rest | Typing Extensible Data Types and Functions using Rows