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

Twitter:https://twitter.com/edskodevries

GitHub:https://github.com/edsko

Contributions

ICFP 2022	Author of Searching Entangled Program Spaces within the ICFP Papers and Events-track
EGRAPHS 2022	Author of ECTAs: E-Graphs Better (at Encoding) within the EGRAPHS 2022-track
HIW 2021	Session Chair of Applications and Closing (part of HIW 2021) Author of Avoiding quadratic GHC core code size within the HIW 2021-track