Declarative Program Transformation: A Deforestation Case-Study (1998)

by L Correnson, E Duris, D Parigot, G Roussel
Venue:In Principles and Pratice of Declarative Programming