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