Not registered as user yet

Name:Aleksander Boruch-Gruszecki
Affiliation:EPFL

Contributions

Scala 2019 Towards Improved GADT Reasoning in Scala
Show activities from other conferences

ECOOP 2019-profile
View general profile