conf.researchr.org / Gert-Jan Bottu
Registered user since Fri 30 Jun 2017
Name: Gert-Jan Bottu
Country: Belgium
Affiliation: KU Leuven
Personal website: https://people.cs.kuleuven.be/~gert-jan.bottu/
Research interests: Functional Languages, Type Systems
Contributions
| ICFP 2019 | Author of Coherence of Type Class Resolution within the Research Papers-track |
| Haskell 2017 | Author of Quantified Class Constraints within the Haskell 2017-track |