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

by Peter S Canning, William Cook, Walter L Hill, John C Mitchell, Walter G Olthoff
Venue:In Proceedings of the ACM Conference on Functional Programming and Computer Architecture