Shortcut Deforestation in Calculational Form (1995)

by Akihiko Takano, Erik Meijer
Venue:In Proc. Conference on Functional Programming Languages and Computer Architecture