Colin Runciman Niklas Röjemo Heap Profiling for Space Efficiency. 159-183 1996 conf/afp/1996 Advanced Functional Programming db/conf/afp/afp1996.html#RuncimanR96