A unifying view of functional and logic program specialization
Marı́a Alpuente, Moreno Falaschi, Germán Vidal · ACM Computing Surveys · 1998
We give a general introduction to the particular problems associated with the partial evaluation of functional logic programs, explain the relationship with similar techniques for functional and logic languages, and show that it is useful to transfer the technology of narrowing into a technique for driving specialization in integrated languages.