NWO Veni on A Trustworthy and Extensible Core Language for Agda
Date: Thu, November 05, 2020
Time: 12:00
Room: TBA
Previous:
Tobias Kappé | Guarded Kleene Algebra with Tests
Next:
Casper Bach Poulsen | Staged Effects and Handlers for Modular Languages with Abstraction