Non-parametric parametricity

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]

Authors

Georg Neis

This author has not been identified. Look up 'Georg Neis' in Google

Derek Dreyer

This author has not been identified. Look up 'Derek Dreyer' in Google

Andreas Rossberg

This author has not been identified. Look up 'Andreas Rossberg' in Google