Generalizing parametricity using information flow (2005)

by G Washburn, S Weirich
Venue:In The 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005