@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},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-60558-510-9},
}