Return to Article Details An Imperative Type Hierarchy with Partial Products Download Download PDF