Pierce (1993)
Pierce B.C. (1993)
Intersection types and bounded polymorphism
In [_BG93], pp. 346-359