@inproceedings{JeuringLMY08,
  title = {Libraries for Generic Programming in Haskell},
  author = {Johan  Jeuring and Sean Leather and José Pedro Magalhães and Alexey Rodriguez Yakushev},
  year = {2008},
  doi = {10.1007/978-3-642-04652-0_4},
  url = {http://dx.doi.org/10.1007/978-3-642-04652-0_4},
  tags = {generic programming, Haskell, programming},
  researchr = {https://researchr.org/publication/JeuringLMY08},
  cites = {0},
  citedby = {0},
  pages = {165-229},
  booktitle = {afp},
}

@inproceedings{LLL09diff,
  title = {Type-safe diff for families of datatypes},
  author = {Eelco Lempsink and Sean Leather and Andres Löh},
  year = {2009},
  doi = {10.1145/1596614.1596624},
  url = {http://doi.acm.org/10.1145/1596614.1596624},
  tags = {programming languages, data-flow language, generic programming, abstract syntax, functional programming, Haskell, type system, data-flow programming, data-flow, programming, systematic-approach},
  researchr = {https://researchr.org/publication/LLL09diff},
  cites = {0},
  citedby = {0},
  booktitle = {WGP '09: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming},
}