Modernizing the WebDSL Front-End: A Case Study in SDF3 and Statix
Max de Krieger
Date: Wed, December 21, 2022
Time: 13:00
Room: Lecture Hall F (building 36)
Note: This is a MSc thesis defense
Previous:
| Modernizing the WebDSL front-end: A case study in SDF3 and Statix
Next:
Thomas Lamiaux | Computing Cohomology Rings in Cubical Agda