[isabelle] New AFP article: The Worker/Wrapper Transformation



We are pleased to announce the following new AFP article:

The Worker/Wrapper Transformation
Peter Gammie

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.

http://afp.sourceforge.net/entries/WorkerWrapper.shtml





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.