SPLASH 2021 (series) / Aleksander Boruch-Gruszecki
Registered user since Mon 12 Sep 2022
Name:Aleksander Boruch-Gruszecki
Country:Switzerland
Affiliation:EPFL
Contributions
Scala 2021 | Implementing Path-Dependent GADT Reasoning for Scala 3 Safer Exceptions for Scala | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile