Translating dependency into parametricity (0)

by Stephen Tse, Steve Zdancewic
Venue:Journal of Functional Programming