Intersection types and bounded polymorphism (1993)

by B C Pierce
Venue:TLCA’93, LNCS 664