Partial Evaluation by Unfold/Fold with Generalisation (1970)

by B Meltzer, D Michie
Venue:Computer Science Department, Brandeis University