Translating dependency into parametricity. (2004)

by Stephen Tse, Steve Zdancewic
Venue:In Proc. of the ninth ACM ICFP, ICFP ’04,