Towards a typed foundation for method specialisation and inheritance (1990)

by J C Mitchell
Venue:Proc. 17th ACM Symp. on Principles of Prog. Langs