Registered user since Mon 12 Sep 2022
Name:Aleksander Boruch-Gruszecki
Country:Switzerland
Affiliation:EPFL
Personal website: https://abgruszecki.github.io/
X (Twitter): https://x.com/abgruszecki
GitHub: https://github.com/abgruszecki
Research interests:Type systems, programming languages
Contributions
POPL 2024-profile
View general profile
View general profile