%0 Conference Proceedings %F ca88b %A Cardelli, L. %T Structural Subtyping and the Notion of Power Type %B Title of book Proc. 15th Annual ACM Symp. on Principles of Programming Languages %P 70-79 %8 January %D 1988 %K parametricity