EVCS (series) / Aron Zwaan

Registered user since Mon 16 Aug 2021
Name:Aron Zwaan
Country:Netherlands
Affiliation:Delft University of Technology
Personal website:https://aronzwaan.github.io
Twitter:https://twitter.com/aron_zwaan
GitHub:https://github.com/AZWN
Research interests:Static Semantics
Contributions
EVCS | Dependently Typed Languages in Statix Scope Graphs: The Story so Far | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile