F-bounded quanti for object-oriented programming (1989)

by William R Cook, Walter L Hill, Peter S Canning
Venue:In Functional Prog. and Computer Architecture