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/jfp/Mitchell91.xml
John C. Mitchell Type Inference With Simple Subtypes. 245-285 1991 1 J. Funct. Program. 3 db/journals/jfp/jfp1.html#Mitchell91 https://doi.org/10.1017/S0956796800000113