Bananas in space: extending fold and unfold to exponential types Export

@inproceedings{citeulike:141853, author = {Meijer, Erik and Hutton, Graham}, booktitle = {FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture}, citeulike-article-id = {141853}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=224225}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/224164.224225}, doi = {10.1145/224164.224225}, isbn = {0897917197}, keywords = {category-theory, denotational-semantics, free-theorems, functional-programming, generic-programming, haskell, polymorphism, type-classes, types}, pages = {324--333}, posted-at = {2006-05-08 11:27:35}, priority = {2}, publisher = {ACM Press}, title = {Bananas in space: extending fold and unfold to exponential types}, url = {http://dx.doi.org/10.1145/224164.224225}, year = {1995} }

TY - CONF ID - citeulike:141853 L3 - citeulike-article-id:141853 SN - 0897917197 EP - 333 TI - Bananas in space: extending fold and unfold to exponential types PB - ACM Press T2 - FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture SP - 324 KW - category-theory KW - denotational-semantics KW - free-theorems KW - functional-programming KW - generic-programming KW - haskell KW - polymorphism KW - type-classes KW - types AU - Meijer, Erik AU - Hutton, Graham PY - 1995/// UR - http://dx.doi.org/10.1145/224164.224225 ER -