Stem hylomorph$ (all stems)
3 papers:
- POPL-2015-HinzeWG #morphism #recursion
- Conjugate Hylomorphisms — Or: The Mother of All Structured Recursion Schemes (RH, NW, JG), pp. 527–538.
- SAC-2009-Tarau #data type #finite #haskell #morphism
- Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell (PT), pp. 1898–1902.
- ICFP-1996-HuIT #morphism #recursion
- Deriving Structural Hylomorphisms From Recursive Definitions (ZH, HI, MT), pp. 73–82.