Georg Neis, Derek Dreyer, Andreas Rossberg. Non-parametric parametricity. In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 135-148, ACM, 2009. [doi]
@inproceedings{NeisDR09, title = {Non-parametric parametricity}, author = {Georg Neis and Derek Dreyer and Andreas Rossberg}, year = {2009}, doi = {10.1145/1596550.1596572}, url = {http://doi.acm.org/10.1145/1596550.1596572}, researchr = {https://researchr.org/publication/NeisDR09}, cites = {0}, citedby = {0}, pages = {135-148}, booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, editor = {Graham Hutton and Andrew P. Tolmach}, publisher = {ACM}, isbn = {978-1-60558-332-7}, }