Merging monads and folds for functional programming
- 1 January 1995
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 228-266
- https://doi.org/10.1007/3-540-59451-5_7
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Recursive types reduced to inductive typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Bananas in spacePublished by Association for Computing Machinery (ACM) ,1995
- Shortcut deforestation in calculational formPublished by Association for Computing Machinery (ACM) ,1995
- Graph algorithms with a functional flavourLecture Notes in Computer Science, 1995
- Programming with algebrasLecture Notes in Computer Science, 1995
- A short cut to deforestationPublished by Association for Computing Machinery (ACM) ,1993
- Notions of computation and monadsInformation and Computation, 1991
- Functional programming with bananas, lenses, envelopes and barbed wireLecture Notes in Computer Science, 1991
- Data structures and program transformationScience of Computer Programming, 1990
- Lectures on Constructive Functional ProgrammingPublished by Springer Science and Business Media LLC ,1989