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