Follow
Gert-Jan Bottu
Gert-Jan Bottu
PhD in Computer Science, KU Leuven
Verified email at cs.kuleuven.be - Homepage
Title
Cited by
Cited by
Year
Quantified class constraints
GJ Bottu, G Karachalias, T Schrijvers, BCS Oliveira, P Wadler
ACM SIGPLAN Notices 52 (10), 148-161, 2017
362017
Coherence of type class resolution
GJ Bottu, N Xie, K Marntirosian, T Schrijvers
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019
112019
Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly
GJ Bottu, RA Eisenberg
Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 85-97, 2021
42021
The system can't perform the operation now. Try again later.
Articles 1–3