Grammar-based Pattern Matching and Type Checking for Difference Data Structures.

Naoki Yamamoto, Kazunori Ueda

Browse the full PPDP paper archive.