Concise, type-safe, and efficient structural diffing.

Sebastian Erdweg, Tams Szab, Andr Pacak

Browse the full PLDI paper archive.