@inproceedings{HiJ10Rea,
  title = "Reason isomorphically!",
  author = "Hinze, Ralf and James, Daniel W. H.",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 6th ACM SIGPLAN workshop on Generic programming (WGP '10)",
  editor = "Oliveira, Bruno C.d.S. and Zalewski, Marcin",
  isbn = "978-1-4503-0251-7",
  location = "Baltimore, Maryland, USA",
  month = "sep",
  pages = "85--96",
  publisher = "ACM",
  series = "WGP '10",
  doi = "10.1145/1863495.1863507",
}