Paragon: Novel Uses of Type Hierarchies for Data Abstraction.

Mark Sherman

Browse the full POPL paper archive.