Despite the fact that all developed economies levy broadly-based indirect taxes alongside direct taxes, little theory is devoted to explaining the direct-indirect tax mix. Our purpose is to show that if different taxes have different evasion characteristics, some optimal tax mix emerges...

This paper studies optimal linear income taxation and redistributive social insurance when the former has the traditional labor distortion and the latter generates both ex ante and ex post moral hazard. Private insurance is available and individuals differ in labor productivity and in loss...

The Atkinson-Stiglitz Theorem states that if labor is weakly separable from goods in household utility functions, differential commodity taxation should not be not part of an optimal redistributive tax system. This Theorem, which is arguable the most policy-relevant result to come out of the...

We study the optimal redistributive tax structure when the population can be disaggregated into tagged groups. We begin with the case in which the tag has no normative significance, but simply separates the population into identifiable groups with different distributions of ability-types. Under...

Atkinson and Stiglitz show that with weakly separability, differential commodity taxes are unnecessary given an optimal nonlinear income tax. Deaton showed that with an optimal linear progressive income tax, commodity taxes are superfluous under weakly separable and linear Engel curves. Using...