Measuring the effectiveness of partial evaluation in functional logic languages (2001)

by E Albert, S Antoy, G Vidal
Venue:In: Proc. of the 10th Int’l Workshop on Logic-based Program Synthesis and Transformation (LOPSTR