Notes on typed object-oriented programming (1994)

by Kathleen Fisher, John C Mitchell
Venue:In Proceedings of Theoretical Aspects of Computer Software (TACS`94