Automatic autoprojection of higher order recursive equations

This publication has 16 references indexed in Scilit:

• Mix: A self-applicable partial evaluator for experiments in compiler generation
  Higher-Order and Symbolic Computation, 1989
• Partial evaluation of pattern matching in strings
  Information Processing Letters, 1989
• A self-applicable partial evaluator for term rewriting systems
  Published by Springer Nature ,1989
• Replacing function parameters by global variables
  Published by Association for Computing Machinery (ACM) ,1989
• Automatic binding time analysis for a typed λ-calculus
  Published by Association for Computing Machinery (ACM) ,1988
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986
• Detecting global variables in denotational specifications
  ACM Transactions on Programming Languages and Systems, 1985
• Polyvariant mixed computation for analyzer programs
  Acta Informatica, 1984
• Semantic definitions in REFAL and automatic production of compilers
  Lecture Notes in Computer Science, 1980
• On the partial computation principle
  Information Processing Letters, 1977