The Worker/Wrapper Transformation

Peter Gammie 🌐

October 30, 2009


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.


BSD License


Session WorkerWrapper