Neis, G., Dreyer, D., & Rossberg, A. (2011). Non-Parametric Parametricity. Special issue dedicated to ICFP 2009, 497-562. doi:10.1017/S0956796811000165.