COCHIS: Stable and coherent implicits
SCHRIJVERS, TOM, OLIVEIRA, BRUNO C.D.S., WADLER, PHILIP, MARNTIROSIAN, KOAR
Published in Journal of functional programming (2019)
Published in Journal of functional programming (2019)
Get full text
Journal Article
Resolution as intersection subtyping via Modus Ponens
Marntirosian, Koar, Schrijvers, Tom, Oliveira, Bruno C. d. S., Karachalias, Georgios
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Coherence of type class resolution
Bottu, Gert-Jan, Xie, Ningning, Marntirosian, Koar, Schrijvers, Tom
Published in Proceedings of ACM on programming languages (01.08.2019)
Published in Proceedings of ACM on programming languages (01.08.2019)
Get full text
Journal Article
Resolution as Intersection Subtyping via Modus Ponens
Marntirosian, Koar, Schrijvers, Tom, Bruno C d S Oliveira, Karachalias, Georgios
Published in arXiv.org (15.10.2020)
Published in arXiv.org (15.10.2020)
Get full text
Paper
Journal Article
Coherence of Type Class Resolution
Gert-Jan Bottu, Xie, Ningning, Marntirosian, Koar, Schrijvers, Tom
Published in arXiv.org (15.07.2019)
Published in arXiv.org (15.07.2019)
Get full text
Paper
Journal Article