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/journals/iandc/CoppoG95.xml
Principal Types and Unification for a Simple Intersection Type System Mario Coppo Paola Giannini 70-96 Inf. Comput. October 1995 122 1 db/journals/iandc/iandc122.html#CoppoG95 https://doi.org/10.1006/inco.1995.1141