Patrignani, Marco Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Devriese, D., Patrignani, M., & Piessens, F. (2018). Parametricity Versus the Universal Type. Proceedings of the ACM on Programming Languages, 2(POPL): 38, pp. 1-23. doi:10.1145/3158126.