Not registered as user yet

Name: Aleksander Boruch-Gruszecki

Affiliation: EPFL

Contributions

Scala 2019Author of Towards Improved GADT Reasoning in Scala within the Scala 2019-track