@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 = {Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, volume = {5832}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-04651-3}, } @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}, }