%0 Conference Proceedings %F vhma2007 %A Van Horn, David %A Mairson, Harry G. %T Relating complexity and precision in control flow analysis %B ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming %P 85-96 %I ACM %C New York, NY, USA %U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/van%20horn2007.pdf %U http://doi.acm.org/10.1145/1291151.1291166 %D 2007 %K dyntyp