Semantics of an effect analysis for exceptions (2007)

by N Benton, P Buchlovsky
Venue:In TLDI