Structural subtyping and the notion of power type (1988)

by L Cardelli
Venue:Symposium on Principles of Programming Languages