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