Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Abel, A., Matthes, R., Uustalu, T.: Iteration and coiteration schemes for higher-order and nested datatypes. Theoretical Computer Science 333(1-2), 3–66 (2005)
2. Bird, R.: Introduction to Functional Programming using Haskell, 2nd edn. Prentice Hall, Europe (1998)
3. Bird, R., de Moor, O.: Algebra of Programming. Prentice Hall, Europe (1997)
4. Lecture Notes in Computer Science;R. Bird,1998
5. Bird, R., Paterson, R.: Generalised folds for nested datatypes. Formal Aspects of Computing 11(2), 200–222 (1999)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generic Programming with Adjunctions;Lecture Notes in Computer Science;2012
2. Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick;Lecture Notes in Computer Science;2012
3. A hierarchy of mendler style recursion combinators;Proceedings of the 16th ACM SIGPLAN international conference on Functional programming;2011-09-19
4. A hierarchy of mendler style recursion combinators;ACM SIGPLAN Notices;2011-09-18
5. Type Fusion;Algebraic Methodology and Software Technology;2011