F-Bounded Polymorphism for Object-Oriented Programming

Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell