@inproceedings{might-2006-improving, series={ICFP06}, title={Improving flow analyses via ΓCFA: abstract garbage collection and counting}, url={http://dx.doi.org/10.1145/1159803.1159807}, DOI={10.1145/1159803.1159807}, booktitle={Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming}, publisher={ACM}, author={Might, Matthew and Shivers, Olin}, year={2006}, month=Sept, pages={13–25}, collection={ICFP06} }