Stephen Tse, Steve Zdancewic. Translating dependency into parametricity. In Chris Okasaki, Kathleen Fisher, editors, Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. pages 115-125, ACM, 2004. [doi]
Abstract is missing.