Hutton, Graham, Wright, Joel, "Compiling Exceptions Correctly", , 2004