Embedding Statix in Agda
Alex Haršáni
Date: Wed, August 28, 2024
Time: 14:00
Room: Echo Hall-C
Note: This is a MSc thesis defense
Previous:
| Embedding Statix in Agda
Next:
| Towards Modular Language Semantics of WebDSL: A Case Study of Using Algebraic Effects in Haskell for Language Specification