Non-parametric parametricity (2009)

by G Neis, D Dreyer, A Rossberg
Venue:In Proceedings of ICFP 2009 (Los