Refunctionalization at work (2008)

by Olivier Danvy, Kevin Millikin