• Coinductive Type Systems for O...

*Result*: Coinductive Type Systems for Object-Oriented Languages

Title:
Coinductive Type Systems for Object-Oriented Languages
Object oriented programming; ECOOP
Authors:
Ancona, D., Lagorio, G.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (5653):2-26
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN072886444&indx=1&recIds=ETOCCN072886444
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings