• Sign in
  • Sign up
conf.researchr.org / Koar Marntirosian
  • ICFP 2019 profile
  • ICFP 2020 profile
  • POPL 2017 profile
  • SPLASH 2020 profile
Koar Marntirosian

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
xWed 25 May 03:42
using conf.researchr.org (v1.55.6)
Support page
Sign Up