We use a model of automation to show that with the current U.S. tax system, a fall in automation costs could lead to a massive rise in income inequality. This inequality can be reduced by raising marginal income tax rates and taxing robots. But this solution involves a substantial efficiency...

We study the immigration policy that maximizes the welfare of the native population in an economy where the government designs an optimal redistributive welfare system and supplies public goods. We show that when the government can design different tax systems for immigrants and natives, free...