Quantified class constraints. - Gert-Jan Bottu; Georgios Karachalias; Tom Schrijvers; Bruno C. d. S. Oliveira; Philip Wadler (Haskell, 2017)

Coherence of type class resolution. - Gert-Jan Bottu; Ningning Xie; Koar Marntirosian; Tom Schrijvers (Proc. ACM Program. Lang., 2019)

Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. - Gert-Jan Bottu; Richard A. Eisenberg (Haskell, 2021)

Seeking Stability by being Lazy and Shallow. - Gert-Jan Bottu; Richard A. Eisenberg (CoRR, 2021)