Koar Marntirosian

According to our database, Koar Marntirosian authored at least 4 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Resolution as Intersection Subtyping via Modus Ponens.

Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

Dataset, September, 2020

Resolution as intersection subtyping via Modus Ponens.

Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

Proc. ACM Program. Lang., 2020

2019

Coherence of type class resolution.

Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers

Proc. ACM Program. Lang., 2019

COCHIS: Stable and coherent implicits.

Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian

J. Funct. Program., 2019