![](https://csd.cmu.edu/sites/default/files/styles/full_width_focal_point/public/graduate.png.webp?itok=Wsy3nMEH)
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