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 | Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale Graph Analytics
Next: