Pierce (1993)

Pierce B.C. (1993)

Intersection types and bounded polymorphism

In [_BG93], pp. 346-359