Defunctionalization at work (2001)

by Olivier Danvy, Lasse R Nielsen
Venue:In PPDP ’01