Toward a typed foundation for method specialization and inheritance (1990)

by John C Mitchell
Venue:In Seventeenth Symposium on Principles of Programming Languages