Bananas in space: Exteding fold and unfold to exponential types (1995)

by E Meijer, G Hutton
Venue:In Proc. Conference on Functional Programming Languages and Computer Architecture