Losing Functions without Gaining Data – another look at defunctionalisation

by Neil Mitchell , Colin Runciman