Toward A Typed Foundation for Method Specialization and Inheritance (1990)

by J C Mitchell
Venue:In POPL ’90