Optimization of Equational Programs Using Partial Evaluation.

David Sherman Robert Strandh Irène Durand Optimization of Equational Programs Using Partial Evaluation. 72-82 1991 PEPM db/conf/pepm/pepm91.html#ShermanSD91