Hu, Zhenjiang; Iwasaki, Hideya; Takeichi, Masato Deriving structural hylomorphisms from recursive definitions. (English) Zbl 1345.68059 Wexelblat, Richard L. (ed.), Proceedings of the 1st ACM SIGPLAN international conference on functional programming, ICFP ’96, Philadelphia, PA, USA, May 24–26, 1996. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-770-7). ACM SIGPLAN Notices 31, No. 6, 73-82 (1996). Cited in 6 Documents MSC: 68N18 Functional programming and lambda calculus 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) PDFBibTeX XMLCite \textit{Z. Hu} et al., in: Proceedings of the 1st ACM SIGPLAN international conference on functional programming, ICFP '96, Philadelphia, PA, USA, May 24--26, 1996. New York, NY: Association for Computing Machinery (ACM). 73--82 (1996; Zbl 1345.68059) Full Text: DOI