Uniform traversal combinators: Definition, use and properties

This publication has 7 references indexed in Scilit:

• Automatic generation and use of abstract structure operators
  ACM Transactions on Programming Languages and Systems, 1991
• The expressiveness of a family of finite set languages
  Published by Association for Computing Machinery (ACM) ,1991
• Functional programming with bananas, lenses, envelopes and barbed wire
  Published by Springer Nature ,1991
• Conception, evolution, and application of functional programming languages
  ACM Computing Surveys, 1989
• Homomorphisms and promotability
  Published by Springer Nature ,1989
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• The promotion and accumulation strategies in transformational programming
  ACM Transactions on Programming Languages and Systems, 1984