Losing functions without gaining data: another look at defunctionalisation.

Neil Mitchell, Colin Runciman

Browse the full HASKELL paper archive.