Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts: System F <sub> <i>i</i> </sub>. TLCA 2013: 15-30