Bananas in Space: Extending Fold and Unfold to Exponential Types

@inproceedings{Meijer1995BananasIS,
  title={Bananas in Space: Extending Fold and Unfold to Exponential Types},
  author={Erik Meijer and Graham Hutton},
  booktitle={FPCA},
  year={1995}
}
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 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 130 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

130 Citations

051015'95'00'06'12'18
Citations per Year
Semantic Scholar estimates that this publication has 130 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-4 of 4 references

Algebraically complete categories

Peter Freyd
Como Category Theory Conference, • 1990
View 13 Excerpts
Highly Influenced

Recursive Types Reduced to Inductive Types

LICS • 1990
View 7 Excerpts
Highly Influenced

Constructive functional programming

Richard Bird
In Proc. Marktoberdorf International Summer School on Constructive Methods in Computer Science. Springer- Verlag, • 1989
View 5 Excerpts
Highly Influenced

Algorithmics: Towards programming as a mathematical activity

Lambert Meertens
In Proc. CWI Symposium, Centre for Mathematics and Computer Science, • 1983
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…