A List-Processing Optimizer for Curry (2000)

by E Albert, C Ferri, F Steiner, G Vidal
Venue:In Proceedings of the 9th Intl. Workshop on Functional and Logic Programming