Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek. Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). In Alastair F. Donaldson, editor, 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. Volume 134 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
Abstract is missing.