On the Cubic Bottleneck in Subtyping and Flow Analysis.

Nevin Heintze, David A. McAllester

Browse the full LICS paper archive.