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