aliquote.org
articles
archives
about
/
July 17, 2019
Julia’s Efficient Algorithm for Subtyping Unions and Covariant Tuples
(PDF, 15 pp.).