Bananas in Space: Extending Fold and Unfold to Exponential Types

  title={Bananas in Space: Extending Fold and Unfold to Exponential Types},
  author={Erik Meijer and Graham Hutton},
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of functors, these functionals and their algebraic properties were generalised from lists to polynomial (sum-of-product) datatypes. However, the restriction to polynomial datatypes is a serious limitation: it precludes the use of exponentials (functionspaces), whereas it is central to functional programming that functions are… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 130 citations. REVIEW CITATIONS



Citations per Year

130 Citations

Semantic Scholar estimates that this publication has 130 citations based on the available data.

See our FAQ for additional information.