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:
Soham Chakraborty | Binary Translation for Weak Memory Model Architectures
Next:
Thomas Lamiaux | Computing Cohomology Rings in Cubical Agda