iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/ecoop/ChungNV19.rdf
Benjamin Chung et al.: Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). (2019) conf/ecoop/ChungNV19 10.4230/LIPICS.ECOOP.2019.24 Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). 3 Benjamin Chung 1 Francesco Zappa Nardelli 2 Jan Vitek 3 24:1-24:15 ECOOP ECOOP 2019 2019 provenance information for RDF data of dblp record 'conf/ecoop/ChungNV19' 2024-05-07T20:08:41+0200