COCHIS: Stable and coherent implicits. - Tom Schrijvers; Bruno C. d. S. Oliveira; Philip Wadler; Koar Marntirosian (J. Funct. Program., 2019)

Coherence of type class resolution. - Gert-Jan Bottu; Ningning Xie; Koar Marntirosian; Tom Schrijvers (Proc. ACM Program. Lang., 2019)

Resolution as intersection subtyping via Modus Ponens. - Koar Marntirosian; Tom Schrijvers; Bruno C. d. S. Oliveira; Georgios Karachalias (Proc. ACM Program. Lang., 2020)