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

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