Non-parametric parametricity.

Georg Neis, Derek Dreyer, Andreas Rossberg

Browse the full ICFP paper archive.