Type-safe diff for families of datatypes.

Eelco Lempsink, Sean Leather, Andres Lh

Browse the full ICFP paper archive.