Persistence and Type Abstraction

Abstract types are a familiar and effective way of structuring programs. The basic idea of information hiding must, however, be reconciled with the need to store data for long periods of time and make it accessible to different activities. In particular, this requires that a type checker be able to recognize occurrences of the same abstract type during different activations of a program, while at the same time enforcing the privacy of data representations.