Dependently Typed Languages in Statix

Jonathan Brouwer


Date: Wed, April 26, 2023
Time: 12:00
Room: t.b.a.
Note: This is a Masters defense.


Abstract t.b.a.


Previous: Houda Boukham and Guido Wachsmuth |
Next: