Automatic call unfolding in a partial evaluator (1988)

by P Sestoft
Venue:Partial Evaluation and Mixed Computation