Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Koar Marntirosian
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2020 profile
POPL 2017 profile
SPLASH 2020 profile
Registered user since Sat 17 Aug 2019
Name:
Koar Marntirosian
Affiliation:
KU Leuven
Contributions
2020
SPLASH
Author of Resolution as Intersection Subtyping via Modus Ponens within the Posters-track
Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track
Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track
HIW
Committee Member in Program Committee within the HIW 2020-track
2019
ICFP
Author of Coherence of Type Class Resolution within the Research Papers-track
2017
TTT
Author of Needle & Knot: A Framework for Meta-Theoretical Specifications with Binding within the TTT-track
Share
x
Sun 22 Dec 09:54