Higher-order Binding-time Analysis (1993)

by Kei Davis
Venue:ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation