APA   Click to copy
Bernardy, J.-P., Jansson, P., & Paterson, R. (2010). Parametricity and dependent types. In P. Hudak & S. Weirich (Eds.), Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 (pp. 345–356). ACM. https://doi.org/10.1145/1863543.1863592

Chicago/Turabian   Click to copy
Bernardy, Jean-Philippe, Patrik Jansson, and Ross Paterson. “Parametricity and Dependent Types.” In Proceeding of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010, edited by Paul Hudak and Stephanie Weirich, 345–356. ACM, 2010.

MLA   Click to copy
Bernardy, Jean-Philippe, et al. “Parametricity and Dependent Types.” Proceeding of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010, edited by Paul Hudak and Stephanie Weirich, ACM, 2010, pp. 345–56, doi:10.1145/1863543.1863592.

@inproceedings{bernardy2010a,
  title = {Parametricity and dependent types},
  year = {2010},
  pages = {345--356},
  publisher = {ACM},
  doi = {10.1145/1863543.1863592},
  author = {Bernardy, Jean-Philippe and Jansson, Patrik and Paterson, Ross},
  editor = {Hudak, Paul and Weirich, Stephanie},
  booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010}
}