@inproceedings{Meyer05, author = {Bertrand Meyer}, title = {Attached Types and Their Application to Three Open Problems of Object-Oriented Programming}, booktitle = {ECOOP}, year = {2005}, pages = {1-32}, urltopdf = {http://dx.doi.org/10.1007/11531142_1} }