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.dagstuhl.de/rec/conf/ifipTCS/OuTMW04.xml
Xinming Ou Gang Tan Yitzhak Mandelbaum David Walker Dynamic Typing with Dependent Types. 437-450 2004 conf/ifipTCS/2004 IFIP TCS db/conf/ifipTCS/ifipTCS2004.html#OuTMW04 https://doi.org/10.1007/1-4020-8141-3_34