Some challenging typing issues in object-oriented languages (2003)

by Kim B Bruce
Venue:In Proceedings of Workshop on Object-Oriented Development (WOOD’03