J.C.: F-bounded polymorphism for object-oriented programming (1989)

by P Canning, W Cook, W Hill, W Olthoff, Mitchell
Venue:In: Proc. ACM Symposium on Functional Programming and Computer Architectures