Declarative Program Transformation: a Deforestation case-study (1999)

by Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel