Programming with Intersection Types and Bounded Polymorphism (1991)

by B C Pierce
Venue:Carnegie Mellon University