Safe fusion of functional expressions

This publication has 7 references indexed in Scilit:

• Automatic transformation of series expressions into loops
  ACM Transactions on Programming Languages and Systems, 1991
• Binding time analysis for high order untyped functional languages
  Published by Association for Computing Machinery (ACM) ,1990
• Mix: A self-applicable partial evaluator for experiments in compiler generation
  Higher-Order and Symbolic Computation, 1989
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986
• Listlessness is better than laziness
  Published by Association for Computing Machinery (ACM) ,1984
• A System for Assisting Program Transformation
  ACM Transactions on Programming Languages and Systems, 1982
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977