F-bounded polymorphism for object-oriented programmingPeter S. Canning, John C. Mitchell, Walter Olthoff et al.|Unknown|1989Cited by 330