Polyvariant binding-time analysis for higher-order, applicative languages (1993)

by Charles Consel
Venue:In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '93