A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages (2002)

by E Albert, M Hanus, G Vidal
Venue:Journal of Functional and Logic Programming