This paper incorporates quasi-hyperbolic discounting into a Mirrlees taxation model to study the design of retirement policies for present-biased agents. I show that the government can improve the screening of productivity by exploiting time inconsistency. This is done by providing commitment to...

We study optimal tax policies with human capital investment and retirement savings for present-biased agents. Agents are heterogeneous in their innate ability and make risky education investments which determines their labor productivity. We demonstrate that the optimal distortions vary with...