Translating dependency into parametricity.

Stephen Tse, Steve Zdancewic

Browse the full ICFP paper archive.