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

by E Meijer, G Hutton
Venue:In FPCA ’95: Proceedings of the seventh international conference on Functional programming languages and computer architecture