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
HIW 2020
Committee Member in Program Committee within the HIW 2020-track
SPLASH 2020
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
ICFP 2019
Author of Coherence of Type Class Resolution within the Research Papers-track
TTT 2017
Author of Needle & Knot: A Framework for Meta-Theoretical Specifications with Binding within the TTT-track
Share
x
Tue 21 Sep 23:12
