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/mscs/BettiniCDGV13.xml
Lorenzo Bettini Sara Capecchi Mariangiola Dezani-Ciancaglini Elena Giachino Betti Venneri Deriving session and union types for objects. 1163-1219 2013 23 Math. Struct. Comput. Sci. 6 https://doi.org/10.1017/S0960129512000886 db/journals/mscs/mscs23.html#BettiniCDGV13