F-bounded polymorphism for object-oriented programmingPeter S. Canning, John C. Mitchell, Walter Olthoff et al.|Unknown|1989Cited by 330
Interfaces for strongly-typed object-oriented programmingPeter S. Canning, Walter Olthoff, William R. Cook et al.|Unknown|1989Cited by 128