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

by Anders Bondorf, Jesper Jrgensen
Venue:Journal of Functional Programming