A Lambda Calculus of Objects with Self-Inflicted Extension.

Pietro Di Gianantonio, Furio Honsell, Luigi Liquori

Browse the full OOPSLA paper archive.