APA   Click to copy
Bernardy, J.-P., Jansson, P., & Paterson, R. (2012). Proofs for free - Parametricity for dependent types. J. Funct. Program., 22, 107–152. https://doi.org/10.1017/S0956796812000056

Chicago/Turabian   Click to copy
Bernardy, Jean-Philippe, Patrik Jansson, and Ross Paterson. “Proofs for Free - Parametricity for Dependent Types.” J. Funct. Program. 22 (2012): 107–152.

MLA   Click to copy
Bernardy, Jean-Philippe, et al. “Proofs for Free - Parametricity for Dependent Types.” J. Funct. Program., vol. 22, Cambridge University Press, 2012, pp. 107–52, doi:10.1017/S0956796812000056.

@article{bernardy2012a,
  title = {Proofs for free - Parametricity for dependent types},
  year = {2012},
  journal = {J. Funct. Program.},
  pages = {107--152},
  publisher = {Cambridge University Press},
  volume = {22},
  doi = {10.1017/S0956796812000056},
  author = {Bernardy, Jean-Philippe and Jansson, Patrik and Paterson, Ross}
}