A Computational Interpretation of Parametricity.

Jean-Philippe Bernardy, Guilhem Moulin

Browse the full LICS paper archive.