Stefan Holdermans, Jurriaan Hage. Making stricterness more relevant. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. pages 121-130, ACM, 2010. [doi]
Abstract is missing.