Thomas Gilray, Matthew Might. A Survey of Polyvariance in Abstract Interpretations. In Jay McCarthy, editor, Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers. Volume 8322 of Lecture Notes in Computer Science, pages 134-148, Springer, 2013. [doi]
Abstract is missing.