ICFP/SPLASH 2025 (series) / 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
X (Twitter): https://x.com/edskodevries
GitHub: https://github.com/edsko
Contributions
2025
Using general profile