The Worker/Wrapper Transformation

Peter Gammie 🌐

October 30, 2009

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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.

License

BSD License

Topics

Session WorkerWrapper