Avoiding redundant specialization during partial evaluation (1992)

by E Ruf, D Weise