On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact).

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek

Journal title: DARTS

Journal number: 2/5

Journal publisher: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

Published year: 2019

Published pages: 08:1--08:2

DOI identifier: 10.4230/darts.5.2.8