Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell.

Paul Tarau

Browse the full SAC paper archive.