Eelco Lempsink, Sean Leather, Andres Löh. Type-safe diff for families of datatypes. In WGP '09: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming. ACM, New York, NY, USA, 2009. [doi]
@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},
}