Efficient analysis for realistic off-line partial evaluation (1993)

by A Bondorf, J Jorgensen
Venue:Journal of Functional Programming