Automatic Call Unfolding in a Partial Evaluator, in Partial Evaluation and Mixed Computation, edited by (1988)

by P Sestoft