Personal tools
You are here: Home Events Abstract Archives 2007-2008 The worker/wrapper transformation

The worker/wrapper transformation

Andy Gill 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

Document Actions