Higher-order multi-parameter tree transducers and recursion schemes for program verification.

Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno

Browse the full POPL paper archive.