Proofs for free - Parametricity for dependent types

Sorry, there's nothing here.
051015201520162017
Citations per Year

Citation Velocity: 7

Averaging 7 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@article{Bernardy2012ProofsFF, title={Proofs for free - Parametricity for dependent types}, author={Jean-Philippe Bernardy and Patrik Jansson and Ross Paterson}, journal={J. Funct. Program.}, year={2012}, volume={22}, pages={107-152} }