conf.researchr.org / Gert-Jan Bottu
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

Haskell 2021 Author of Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly within the Haskell 2021-track
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