Type-directed diffing of structured data.

Victor Cacciari Miraldo, Pierre-variste Dagand, Wouter Swierstra

Browse the full ICFP paper archive.