# The Worker/Wrapper Transformation

 Title: The Worker/Wrapper Transformation Author: Peter Gammie Submission date: 2009-10-30 Abstract: Gill and Hutton formalise the worker/wrapper transformation, building on the work of Launchbury and Peyton-Jones who developed it as a way of changing the type at which a recursive function operates. This development establishes the soundness of the technique and several examples of its use. BibTeX: @article{WorkerWrapper-AFP, author = {Peter Gammie}, title = {The Worker/Wrapper Transformation}, journal = {Archive of Formal Proofs}, month = oct, year = 2009, note = {\url{https://isa-afp.org/entries/WorkerWrapper.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License