Factorising folds for faster functions
From MaRDI portal
Publication:3070772
DOI10.1017/S0956796810000122zbMath1210.68047MaRDI QIDQ3070772
Andy Gill, G. Hutton, Mauro Jaskelioff
Publication date: 26 January 2011
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
Related Items
Notions of computation as monoids, Folding left and right matters: Direct style, accumulators, and continuations, Work it, wrap it, fix it, fold it
Uses Software
Cites Work
- Unnamed Item
- Data structures and program transformation
- Proof of correctness of data representations
- Practical type inference for arbitrary-rank types
- Asymptotic Improvement of Computations over Free Monads
- The worker/wrapper transformation
- Fission for Program Comprehension
- A tutorial on the universality and expressiveness of fold