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

Erik Ruf, Daniel Weise

Browse the full PEPM paper archive.