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

Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germn Vidal

Browse the full LOPSTR paper archive.