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 2019Author of Coherence of Type Class Resolution within the Research Papers-track
Haskell 2017Author of Quantified Class Constraints within the Haskell 2017-track