Can LSP Handle Dependent Types?
Willem Stuijt Giacaman
Date: Wed, June 26, 2024
Time: 14:15
Room: Building 23 - Room HG 2.62
Note: This is a MSc thesis defense
Previous:
| Can The Language Server Protocol Handle Dependent Types?
Next:
Ivan Todorov | Modal Mu-Calculus for Free