Folgen
Gert-Jan Bottu
Gert-Jan Bottu
PhD in Computer Science, KU Leuven
Bestätigte E-Mail-Adresse bei cs.kuleuven.be - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3