Translation and optimization for a core calculus with exceptions

Cristina David, Cristian Gherghina, Wei-Ngan Chin. Translation and optimization for a core calculus with exceptions. In Germán Puebla, Germán Vidal, editors, Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. pages 41-50, ACM, 2009. [doi]

Abstract

Abstract is missing.