Ruud Koot, Jurriaan Hage. Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. In Kenichi Asai, Kostis Sagonas, editors, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. pages 127-138, ACM, 2015. [doi]
Abstract is missing.