Row and Bounded Polymorphism via Disjoint Polymorphism

Ningning Xie, Bruno C. D. S. Oliveira, Xuan Bi, Tom Schrijvers. Row and Bounded Polymorphism via Disjoint Polymorphism. In Robert Hirschfeld, Tobias Pape, editors, 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Volume 166 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Abstract

Abstract is missing.