Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis.

Erik Ruf Daniel Weise Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. 67-74 1992 PEPM db/conf/pepm/pepm92.html#RufW92