@inproceedings{jpm:fcadgp:12,
  author = {Magalh\~aes, Jos\'e Pedro and L\"oh, Andres},
  year = {2012},
  title = {A Formal Comparison of Approaches to Datatype-Generic Programming},
  editor = {Chapman, James and Levy, Paul Blain},
  booktitle = {Proceedings Fourth Workshop on
               Mathematically Structured Functional Programming,
               Tallinn, Estonia, 25 March 2012},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {76},
  publisher = {Open Publishing Association},
  pages = {50--67},
  doi = {10.4204/EPTCS.76.6},
}