Elvira Albert, Sergio Antoy, Germán Vidal. A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. In María Alpuente, editor, 9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000. pages 120-127, 2000.
Abstract is missing.