Higher-order abstract syntax

This publication has 6 references indexed in Scilit:

• Natural deduction as higher-order resolution
  The Journal of Logic Programming, 1986
• The PSG system: from formal language definitions to interactive programming environments
  ACM Transactions on Programming Languages and Systems, 1986
• The synthesizer generator
  Published by Association for Computing Machinery (ACM) ,1984
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940