Static Properties of Partial Evaluation, in Partial Evaluation and Mixed Computation, edited by (1988)

by D A Schmidt