Semantics of an effect analysis for exceptions (2007)

by N Benton, P Buchlovsky
Venue:In Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages 47 and implementation, TLDI ’07