Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane

From: Jim Apple <jbapple+haskell-lib <at> gmail.com>
Subject: Catamorphisms for arrows?
Newsgroups: gmane.comp.lang.haskell.libraries
Date: Sunday 4th February 2007 04:30:00 UTC (over 12 years ago)
Could Data.Foldable be extended to function types by way of Bananas in
Space: Extending Fold and Unfold to Exponential Types [1][2] or Boxes
Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric
Polymorphism [3][4]?

1. http://citeseer.ist.psu.edu/293490.html
2. http://www.cs.nott.ac.uk/~gmh//bananas.ps
3. http://repository.upenn.edu/cis_reports/43/
4. http://www.seas.upenn.edu/%7Esweirich/abstracts.html#washburn+:bgb-journal

Jim
 
CD: 18ms