Using a quantitative model that features technical progress in automation and endogenous skill choice, we show that, given the current U.S. tax system, a sustained fall in automation costs can lead to a massive rise in income inequality. We characterize the optimal tax system in this model. We...

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...