@inproceedings{Gibbons2007:Datatype,
  title = "Datatype-Generic Programming",
  author = "Jeremy Gibbons",
  year = "2007",
  booktitle = "Spring School on Datatype-Generic Programming",
  editor = "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/dgp.pdf",
  volume = "4719",
}