Attached types and their application to three open problems of object-oriented programming. (2005)

by B Meyer
Venue:Proceedings of ECOOP (Lecture Notes in Computer Science,