The worker/wrapper transformation

DOI10.1017/S0956796809007175zbMath1178.68135MaRDI QIDQ3616448

G. Hutton, Andy Gill

Publication date: 25 March 2009

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

zbMATH Keywords

equational reasoning technique

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

The Reduceron reconfigured and re-evaluated ⋮ Concrete stream calculus: An extended study ⋮ Short note: Strict unwraps make worker/wrapper fusion totally correct ⋮ Factorising folds for faster functions ⋮ Work it, wrap it, fix it, fold it

Uses Software

• Haskell

Cites Work

• A functional theory of exceptions
• Comparing control constructs by double-barrelled CPS
• Proof of correctness of data representations
• A Transformation System for Developing Recursive Programs
• A tutorial on the universality and expressiveness of fold
• What is the meaning of these constant interruptions?
• Applicative programming with effects
• Unnamed Item
• Unnamed Item

This page was built for publication: The worker/wrapper transformation