@inproceedings{HiW11Cat,
  title = "Towards a Categorical Foundation for Generic Programming",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2011",
  booktitle = "ACM SIGPLAN 7th Workshop on Generic Programming",
  editor = "J\"{a}rvi, Jaakko and Mu, Shin-Cheng",
  location = "Tokyo, Japan",
  url = "http://www.cs.ox.ac.uk/ralf.hinze/WGP11.html",
}