F-bounded polymorphism for object-oriented programmingPeter S. Canning, John C. Mitchell, William R. Cook et al.|Unknown|1989Cited by 330
Inheritance is not subtypingWilliam R. Cook, Peter S. Canning, Walter L. Hill|Unknown|1990Cited by 322
Inheritance is not subtypingWilliam R. Cook, Peter S. Canning, Walter L. Hill|MIT Press eBooks|1994Cited by 133
Interfaces for strongly-typed object-oriented programmingPeter S. Canning, Walter Olthoff, William R. Cook et al.|Unknown|1989Cited by 128