Gert-Jan Bottu

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 5

Top Topics

Wall Street Journal

Top Venues

Proc. ACM Program. Lang.

Publications

Gert-Jan Bottu, Richard A. Eisenberg
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. Haskell (2021)
Gert-Jan Bottu, Richard A. Eisenberg
Seeking Stability by being Lazy and Shallow. CoRR (2021)
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
Coherence of Type Class Resolution. CoRR (2019)
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
Coherence of type class resolution. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
Quantified class constraints. Haskell (2017)