A semantic model of binding times for safe partial evaluation

This publication has 16 references indexed in Scilit:

• Polyvariant binding-time analysis for applicative languages
  Published by Association for Computing Machinery (ACM) ,1993
• Minimal thunkification
  Published by Springer Nature ,1993
• A self-applicable partial evaluator for the lambda calculus
  ACM Transactions on Programming Languages and Systems, 1992
• Improving binding times without explicit CPS-conversion
  Published by Association for Computing Machinery (ACM) ,1992
• Automatic autoprojection of higher order recursive equations
  Science of Computer Programming, 1991
• Binding time analysis
  ACM SIGPLAN Notices, 1991
• Program bifurcation for a polymorphically typed functional language
  Published by Association for Computing Machinery (ACM) ,1991
• A partial evaluator for the untyped lambda-calculus
  Journal of Functional Programming, 1991
• Binding time analysis for polymorphically typed higher order languages
  Published by Springer Nature ,1989
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979