Eelco Lempsink, Sean Leather, Andres Löh. Type-safe diff for families of datatypes. In Patrik Jansson, Sibylle Schupp, editors, Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009. pages 61-72, ACM, 2009. [doi]
Abstract is missing.