We study the dynamic general equilibrium effects of introducing a social pension program to elderly informal sector workers in developing countries who lack formal risk sharing mechanisms against income and longevity risks. To this end, we formulate a stochastic dynamic general equilibrium model...