Koar Marntirosian, Tom Schrijvers, Bruno C. D. S. Oliveira, Georgios Karachalias. Resolution as intersection subtyping via Modus Ponens. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.