Structural Subtyping and the Notion of Power Type.

Luca Cardelli Structural Subtyping and the Notion of Power Type. 70-79 1988 POPL db/conf/popl/popl88.html#Cardelli88