Deriving Structural Hylomorphisms From Recursive Definitions.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Browse the full ICFP paper archive.