Seuraa
Gert-Jan Bottu
Gert-Jan Bottu
PhD in Computer Science, KU Leuven
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.kuleuven.be - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–3