Translating dependency into parametricity, in (2004)

by S Tse, S Zdancewic
Venue:Proc. 9th ACM SIGPLAN International Conference on Functional Programming (ICFP’04), ACM