Isaac van Bakel

Registered user since Mon 15 Sep 2025

Name:Isaac van Bakel
Country:Switzerland
Affiliation:ETH Zurich
Research interests:Programming Language Theory

Contributions