
Registered user since Mon 19 Jul 2021
Name:Edsko de Vries
Country:Netherlands
Affiliation:Well-Typed LLP
Personal website:http://well-typed.com
Twitter:https://twitter.com/edskodevries
GitHub:https://github.com/edsko
Contributions
EGRAPHS 2022 | ECTAs: E-Graphs Better (at Encoding) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2022-profile
View general profile
View general profile