Koar Marntirosian

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 5

Top Topics

Conflict Detection

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
Resolution as intersection subtyping via Modus Ponens. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
Resolution as Intersection Subtyping via Modus Ponens. CoRR (2020)
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
Coherence of Type Class Resolution. CoRR (2019)
Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian
COCHIS: Stable and coherent implicits. J. Funct. Program. 29 (2019)
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers
Coherence of type class resolution. Proc. ACM Program. Lang. 3 (ICFP) (2019)