Shortcut deforestation in calculational form (1995)

by A Takano, E Meijer
Venue:In Proceedings of the seventh international conference on Functional Programming and Computer Architecture, FPCA ’95