Gert-Jan Bottu

According to our database, Gert-Jan Bottu authored at least 4 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Seeking Stability by being Lazy and Shallow.

Gert-Jan Bottu, Richard A. Eisenberg

CoRR, 2021

Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly.

Gert-Jan Bottu, Richard A. Eisenberg

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

2019

Coherence of type class resolution.

Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers

Proc. ACM Program. Lang., 2019

2017

Quantified class constraints.

Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017