Refunctionalization at work (2009)

by O Danvy, K Millikin
Venue:Science of Computer Programming