< Terug naar vorige pagina
Onderzoeker
Gert-Jan Bottu
- Disciplines:Artificiële intelligentie
Affiliaties
- Declaratieve Talen en Artificiële Intelligentie (DTAI) (Afdeling)
Lid
Vanaf1 aug 2020 → 31 mrt 2022 - Afdeling Informatica (Afdeling)
Lid
Vanaf22 feb 2016 → 4 aug 2020
Projecten
1 - 1 of 1
- Impliciete codegeneratie voor polymorfismeVanaf10 jan 2018 → 24 jan 2022Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
1 - 5 van 5
- Implicit Code Generation for Polymorphism(2022)
Auteurs: Gert-Jan Bottu, Tom Schrijvers
- Coherence of Type Class Resolution(2019)
Auteurs: Gert-Jan Bottu, Koar Marntirosian, Tom Schrijvers
- Quantified class constraints(2017)
Auteurs: Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno CDS Oliveira, Philip Wadler
Pagina's: 148 - 161 - Quantified class constraints(2017)
Auteurs: Gert-Jan Bottu, Tom Schrijvers
Pagina's: 148 - 161 - Seeking Stability by Being Lazy and Shallow Lazy and Shallow Instantiation Is User Friendly
Auteurs: Gert-Jan Bottu
Pagina's: 85 - 97Aantal pagina's: 13