%0 Journal Article 
%F hami93
%A Harper, Robert
%A Mitchell, John
%T On the Type Structure of {S}tandard {ML}
%J ACM Transactions on Programming Languages and Systems (TOPLAS)
%V 15
%N 2
%P 211-252
%8 April
%D 1993
%K parametricity