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: Eben Rogers |
Next: Ivan Todorov |