Structural subtyping and the notion of power type (1988)

by Luca Cardelli
Venue:In POPL ’88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages