A Calculational Fusion System HYLO
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Deriving structural hylomorphisms from recursive definitionsPublished by Association for Computing Machinery (ACM) ,1996
- John Latham - The Incidental Person.The Art Book, 1994
- A fold for all seasonsPublished by Association for Computing Machinery (ACM) ,1993
- A short cut to deforestationPublished by Association for Computing Machinery (ACM) ,1993
- Functional programming with bananas, lenses, envelopes and barbed wirePublished by Springer Nature ,1991
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977