A unifying view of functional and logic program specialization

The concept of a supercompiler

ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series

Partial evaluation in logic programming

Journal of Logic Programming

Partial evaluation and automatic program generation

Partial evaluation and automatic program generation

Tutorial on specialisation of logic programs

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Tutorial notes on partial evaluation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Specialization of lazy functional logic programs

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Narrowing-Driven Partial Evaluation of Functional Logic Programs

ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems

Partial Deduction and Driving are Equivalent

PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming

Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree

WSA '93 Proceedings of the Third International Workshop on Static Analysis

A Comparative Revisitation of Some Program Transformation Techniques

Selected Papers from the Internaltional Seminar on Partial Evaluation

Safe Folding/Unfolding with Conditional Narrowing

ALP '97-HOA '97 Proceedings of the 6th International Joint Conference on Algebraic and Logic Programming

Partial Evaluation of Functional Logic Programs in Rewriting-based Languages

Partial Evaluation of Functional Logic Programs in Rewriting-based Languages