< Back to previous page
Researcher
Koar Marntirosian
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → 31 Oct 2021 - Informatics Section (Division)
Member
From16 Nov 2015 → 31 Jul 2020
Projects
1 - 1 of 1
- Coherent Implicit ResolutionFrom18 Apr 2016 → 31 Aug 2021Funding: Own budget, for example: patrimony, inscription fees, gifts
Publications
1 - 4 of 4
- Coherent Implicit Resolution(2021)
Authors: Koar Marntirosian, Tom Schrijvers
- Resolution as intersection subtyping via Modus Ponens(2020)
Authors: Koar Marntirosian, Tom Schrijvers
- Coherence of Type Class Resolution(2019)
Authors: Gert-Jan Bottu, Koar Marntirosian, Tom Schrijvers
- COCHIS: Stable and Coherent Implicits(2019)
Authors: Tom Schrijvers, Koar Marntirosian