Using regular approximations for generalisation during partial evaluation (2000)

by J Gallagher, J Peralta
Venue:In Proc. of the SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation