Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl).

Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek

Browse the full ECOOP paper archive.