• Sign in
  • Sign up
conf.researchr.org / Gert-Jan Bottu
  • ICFP 2017 profile
  • ICFP 2019 profile
  • ICFP 2021 profile
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

2021

Haskell

  • Author of Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly within the Haskell 2021-track

2019

ICFP

  • Author of Coherence of Type Class Resolution within the Research Papers-track

2017

Haskell

  • Author of Quantified Class Constraints within the Haskell 2017-track
Share
xMon 23 Jun 01:56
using conf.researchr.org (v1.69.0)
Support page
Sign Up