ICFP/SPLASH 2025 (series) / Isaac van Bakel
Registered user since Mon 15 Sep 2025
Name:Isaac van Bakel
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://plf.inf.ethz.ch/people/person-detail.html?persid=318013
GitHub: https://github.com/ivanbakel
Research interests:Programming Language Theory
Contributions
Using general profile