Higher-Order redundancy elimination (1994)

by Peter Thiemann
Venue:In Proceedings of the Workshop on Partial Evaluation and Program Manipulation