Intersection types and bounded polymorphism (1997)

by B C Pierce
Venue:Mathematical Structures in Computer Science