Short Cut Fusion: Proved and Improved

This publication has 13 references indexed in Scilit:

• [top ][top ]-closed relations and admissibility
  Mathematical Structures in Computer Science, 2000
• Typer inference builds a short cut to deforestation
  ACM SIGPLAN Notices, 1999
• Existential types: Logical relations and operational equivalence
  Published by Springer Nature ,1998
• A Calculational Fusion System HYLO
  Published by Springer Nature ,1997
• Deriving structural hylomorphisms from recursive definitions
  Published by Association for Computing Machinery (ACM) ,1996
• A fold for all seasons
  Published by Association for Computing Machinery (ACM) ,1993
• A short cut to deforestation
  Published by Association for Computing Machinery (ACM) ,1993
• Functorial polymorphism
  Theoretical Computer Science, 1990
• Theorems for free!
  Published by Association for Computing Machinery (ACM) ,1989
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975