On the cubic bottleneck in subtyping and flow analysis | IEEE Conference Publication | IEEE Xplore