Type checking and magic in a type secure persistent object store (1987)

by M P Atkinson, Morrison R Polymorphism
Venue:In Proceedings of the Second International Conference on Persistent Object Systems, Appin, Scotland {Persistent Programming Research Report 44, Universities of Glasgow and St