Följ
Gert-Jan Bottu
Gert-Jan Bottu
PhD in Computer Science, KU Leuven
Verifierad e-postadress på cs.kuleuven.be - Startsida
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3