Structural Subtyping and the Notion of Power Type. Pages 70--79 of (1988)

by L Cardelli
Venue:Proceedings of the 15th ACM Symposium on Principles of Programming Languages