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