< Back to previous page
Researcher
Gert-Jan Bottu
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → 31 Mar 2022 - Informatics Section (Division)
Member
From22 Feb 2016 → 4 Aug 2020
Projects
1 - 1 of 1
- Implicit Code Generation for PolymorphismFrom10 Jan 2018 → 24 Jan 2022Funding: Own budget, for example: patrimony, inscription fees, gifts
Publications
1 - 5 of 5
- Implicit Code Generation for Polymorphism(2022)
Authors: Gert-Jan Bottu, Tom Schrijvers
- Coherence of Type Class Resolution(2019)
Authors: Gert-Jan Bottu, Koar Marntirosian, Tom Schrijvers
- Quantified class constraints(2017)
Authors: Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno CDS Oliveira, Philip Wadler
Pages: 148 - 161 - Quantified class constraints(2017)
Authors: Gert-Jan Bottu, Tom Schrijvers
Pages: 148 - 161 - Seeking Stability by Being Lazy and Shallow Lazy and Shallow Instantiation Is User Friendly
Authors: Gert-Jan Bottu
Pages: 85 - 97Number of pages: 13