Edsko de Vries

Registered user since Mon 19 Jul 2021

Name:Edsko de Vries
Country:Netherlands
Affiliation:Well-Typed LLP
Personal website:http://well-typed.com

Contributions

EGRAPHS 2022 ECTAs: E-Graphs Better (at Encoding)
Show activities from other conferences

PLDI 2022-profile
View general profile