This study uses a cross-country panel to examine the determinants of corruption, paying particular attention to political institutions that increase accountability. Even though the theoretical literature has stressed the importance of political institutions in determining corruption, the empirical literature is relatively scarce. Our results confirm the role of political institutions in determi...

An exception compilation scheme that dynamically creates and removes exception handler entries on the stack. A formalization of an article of the same name by Hutton and Wright [1]. 1 Compiling exception handling theory Exceptions imports Main begin 1.1 The source language datatype expr = Val int | Add expr expr | Throw | Catch expr expr consts eval :: "expr ⇒ int option" primrec "eval (Val i) ...