We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...

NREGS (Mahatma Gandhi National Rural Employment Guarantee Scheme) is the Indian government's flagship anti-poverty program and is one of the largest public works programmes in the world which aims to increase employment opportunities for the poor and in particular, improve women's access to the...

This paper uses the staggered implementation of a legal change in inheritance law in India to estimate the effect of women's improved access to inheritance on both police-reported and self-reported violence against women. I find a decrease in reported violence and female unnatural deaths...

Currently, local authorities in the UK raise only about a quarter of their revenues from taxes under their control. The Balance of Funding Review Report considered whether this proportion should be increased, and if so, how. This paper considers the report and possible reforms. Reasons why the...

Though anecdotal evidence suggests that retail price inflation increased temporarily in January 2002 when Euro notes and coins were introduced, the evidence from official statistics largely refutes this. We test for the presence of a sudden temporary increase in inflation for Euro-changeover...

In a small open economy with heterogeneous firms, in which tariffs determine the mass of active firms, the gains from trade liberalization depend positively on the level of firm vertical heterogeneity and negatively on transportation costs. The benefits from temporary protection depend on the...

In the Crawford-Sobel (uniform, quadratic utility) cheap-talk model we allow for mediation in which the informed agent reports one possible element of a partition to a mediator (a communication device) and then the mediator suggests an action to the uninformed decision-maker according to the...

We identify characteristics that affect firms' ability to learn from their export activities. Our analysis is based on a panel of Argentinian firms spanning 1992-2001 and we employ Granger causality tests, propensity score matching techniques and GMM regressions. The characteristics we find to...

Every real ARMA(p,q) process can trivially be written as the real part of a complex ARMA(p,q) process, which we abbreviate as ReCARMA(p,q). Less trivially, every ReCARMA(p,q) process can be represented as a real ARMA(2p,p + q) process or some simpler process. This provides an alternative,...

This paper models aid agencies as financial intermediaries that do not make a financial return to depositors, whose concern is to transfer resources to investor-beneficiaries. This leads to a problem of verifying that the agency is using donations as intended. One solution to this problem is for...