The worker/wrapper transformation

DOI10.1017/S0956796809007175MaRDI QIDQ3616448zbMATH OpenFDO

Authors Andy Gill, Graham Hutton

Publication date 25 March 2009

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

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

zbMATH Keywords

equational reasoning technique

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Work it, wrap it, fix it, fold it
• Factorising folds for faster functions
• Short note: Strict unwraps make worker/wrapper fusion totally correct
• Worker/wrapper/makes it/faster
• A transformation-based optimiser for Haskell

Cites work

• A functional theory of exceptions
• A Transformation System for Developing Recursive Programs
• A tutorial on the universality and expressiveness of fold
• Applicative programming with effects
• Comparing control constructs by double-barrelled CPS
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• Proof of correctness of data representations
• Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
• What is the meaning of these constant interruptions?

Cited in

(9)

• Worker/wrapper/makes it/faster
• Work it, wrap it, fix it, fold it
• Concrete stream calculus: an extended study
• Short note: Strict unwraps make worker/wrapper fusion totally correct
• Factorising folds for faster functions
• The Reduceron reconfigured and re-evaluated
• Program optimisations via hylomorphisms for extraction of executable code
• The Worker/Wrapper Transformation
• Putting the `K' into Bird's derivation of Knuth-Morris-Pratt string matching

Describes a project that uses

Uses Software

• Haskell

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3616448)