Galois
4pm Tuesday 5th February 2008
Room 2511, JCMB, King's Buildings
The worker/wrapper transformation is a technique for changing the type of a computation, usually with the aim of improving its performance. It has been used by compiler writers for many years, but the technique is little-known in the wider functional programming community, and has never been formalised. In this talk we explain, formalise, and explore the generality of the worker/wrapper transformation. We provide a systematic recipe for its use, and illustrate the power of this recipe using a range of examples.
Joint work with Graham Hutton