The Worker/Wrapper Transformation

Peter Gammie

30 October 2009

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.
BSD License

Topics

Theories