A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs

by Gustavo Arroyo , J. Guadalupe Ramos , Salvador Tamarit , Germán Vidal