A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs | Publicación