A Self-Applicable Partial Evaluator for Term Rewriting Systems (1989)

by A Bondorf
Venue:In Proc. of Int’l Conf. on Theory and Practice of Software Development