@article{gilray-2018-abstract, title={Abstract allocation as a unified approach to polyvariance in control-flow analyses}, volume={28}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796818000138}, DOI={10.1017/s0956796818000138}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={GILRAY, THOMAS and ADAMS, MICHAEL D. and MIGHT, MATTHEW}, year={2018} }