@inproceedings{jpm:gpid:11,
  title = "Generic programming for indexed datatypes",
  author = "Magalh\~aes, Jos\'e Pedro and Jeuring, Johan",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-0861-8",
  location = "Tokyo, Japan",
  pages = "37--46",
  publisher = "ACM",
  series = "WGP '11",
}