Work it, wrap it, fix it, fold it

DOI10.1017/S0956796814000045zbMATH Open1297.68054OpenAlexW2108039078MaRDI QIDQ2875226

G. Hutton, Neil Sculthorpe

Publication date: 14 August 2014

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796814000045

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Proof of correctness of data representations
• Short note: Strict unwraps make worker/wrapper fusion totally correct
• Factorising folds for faster functions
• The worker/wrapper transformation
• A Transformation System for Developing Recursive Programs

Uses Software

• Agda

This page was built for publication: Work it, wrap it, fix it, fold it