%0 Conference Proceedings
%F hemc97
%A Heintze, Nevin
%A McAllester, David
%T On the Cubic Bottleneck in Subtyping and Flow Analysis
%B Proc. 22nd Annual IEEE Symp. on Logic in Computer Science (LICS), Warsaw, Poland
%I IEEE Computer Society Press
%8 June
%D 1997
%K dyntyp