Benjamin Pierce Programming with Intersection Types and Bounded Polymorphism Degree Type: Ph.D. in Computer Science Advisor(s): Robert Harper Graduated: December 1991