@inproceedings{Gibbons&Paterson2009:Parametric,
  title = "Parametric Datatype-Genericity",
  author = "Jeremy Gibbons and Ross Paterson",
  year = "2009",
  address = "Edinburgh",
  booktitle = "Workshop on Generic Programming",
  month = "August",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/parametric.pdf",
}