Substructural Parametricity.

C. B. Aberl, Karl Crary, Chris Martens, Frank Pfenning

Browse the full FSCD paper archive.