Mark Sherman Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types Degree Type: Ph.D. in Computer Science Advisor(s): Peter Hibbard, Daniel Siewiorek Graduated: August 1983 Abstract Currently Unavailable Thesis Document Currently Unavailable Electronically Return to Degrees List Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)