A Simple Proof Technique for Certain Parametricity Results.

Karl Crary

Browse the full ICFP paper archive.