Paragon: Novel Uses of Type Hierarchies for Data Abstraction

Mark Sherman. Paragon: Novel Uses of Type Hierarchies for Data Abstraction. In POPL. pages 208-217, 1984.

Abstract

Abstract is missing.