F-Bounded Quanti cation for Object-Oriented Programming (1989)

by P Canning, W Cook, W Hill, W Oltho
Venue:In Proc. of 4th Int. Conf. on Functional Programming and Computer Architecture, FPCA'89