Bananas in Space: Extending Fold and Unfold to Exponential Types

by: Erik Meijer, Graham Hutton

(1995), pp. 324-333.

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

oryp6518, armintroy

Find related articles with these CiteULike tags

categories, category, fp, functional, programming, theory, types

Abstract

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...

@inbook{citeulike:141854, abstract = {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...}, address = {New York}, author = {Meijer, Erik and Hutton, Graham }, booktitle = {Conf.\ Record 7th ACM SIGPLAN/SIGARCH and IFIP WG 2.8 Int.\ Conf.\ on Functional Programming Languages and Computer Architecture, FPCA'95, La Jolla, San Diego, CA, USA, 25--28 June 1995}, citeulike-article-id = {141854}, keywords = {category, functional, programming, theory}, pages = {324--333}, posted-at = {2007-05-07 16:34:40}, priority = {2}, publisher = {ACM Press}, title = {Bananas in Space: Extending Fold and Unfold to Exponential Types}, url = {http://citeseer.ist.psu.edu/293490.html}, year = {1995} }

RIS record

TY - CHAP ID - citeulike:141854 L3 - citeulike-article-id:141854 TI - Bananas in Space: Extending Fold and Unfold to Exponential Types T2 - Conf.\ Record 7th ACM SIGPLAN/SIGARCH and IFIP WG 2.8 Int.\ Conf.\ on Functional Programming Languages and Computer Architecture, FPCA'95, La Jolla, San Diego, CA, USA, 25--28 June 1995 SP - 324 EP - 333 AD - New York PB - ACM Press N2 - 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... KW - category KW - functional KW - programming KW - theory AU - Meijer, Erik AU - Hutton, Graham PY - 1995/// UR - http://citeseer.ist.psu.edu/293490.html ER -

RIS BibTeX