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

by Erik Meijer, Graham Hutton
Venue:In Proceedings of the 7th Conference on Functional Programming Languages and Computer Architecture