From interpreting to compiling binding times

This publication has 7 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
• Automatic binding time analysis for a typed λ-calculus
  Published by Association for Computing Machinery (ACM) ,1988
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• The structure of a self-applicable partial evaluator
  Published by Springer Nature ,1986
• Semantics-directed machine architecture
  Published by Association for Computing Machinery (ACM) ,1982
• TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages
  Lecture Notes in Computer Science, 1978