×

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).

MSC:

68N18 Functional programming and lambda calculus
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
PDFBibTeX XMLCite
Full Text: DOI