@proceedings{BGH07DGP,
  title = "Datatype-Generic Programming",
  year = "2007",
  booktitle = "Datatype-Generic Programming",
  editor = "Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan",
  location = "Nottingham, UK",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "4719",
  doi = "10.1007/978-3-540-76786-2",
}