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

by MH95 Erik Meijer, Graham Hutton
Venue:In Proceedings of the 7th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA’95