Email Gateway (Aug 18 2022 at 14:15): Email Gateway (Aug 18 2022 at 14:15):From: Tobias Nipkow <nipkow@in.tum.de>
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
Last updated: Apr 30 2024 at 20:15 UTC