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

Open Webpage

Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno

Published: 2010, Last Modified: 23 Jul 2025POPL 2010EveryoneRevisionsBibTeXCC BY-SA 4.0