Suivre
Gert-Jan Bottu
Gert-Jan Bottu
PhD in Computer Science, KU Leuven
Adresse e-mail validée de cs.kuleuven.be - Page d'accueil
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–3