Defunctionalizing push arrays.

Bo Joel Svensson, Josef Svenningsson

Browse the full ICFP paper archive.