@InProceedings{DietlMueller07c, author = {W. Dietl and P. M{\"u}ller}, title = {Runtime Universe Type Inference}, booktitle = {International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)}, year = {2007}, url = {http://www.cs.purdue.edu/homes/wrigstad/iwaco/accepted.html}, urltext = {[Publisher]} }