Semantics-based compiling: A case study in type-directed partial evaluation

This publication has 14 references indexed in Scilit:

• Pragmatics of type-directed partial evaluation
  Published by Springer Nature ,1996
• Theory and practice of action semantics
  Published by Springer Nature ,1996
• Partial Evaluation
  Published by Springer Nature ,1996
• Categorical reconstruction of a reduction free normalization proof
  Lecture Notes in Computer Science, 1995
• The next 700 formal language descriptions
  Higher-Order and Symbolic Computation, 1993
• Two-Level Functional Languages
  Published by Cambridge University Press (CUP) ,1992
• Automatic autoprojection of recursive equations with global variables and abstract data types
  Science of Computer Programming, 1991
• Mix: A self-applicable partial evaluator for experiments in compiler generation
  Higher-Order and Symbolic Computation, 1989
• Semantics-Directed Compiler Generation
  Published by Springer Nature ,1980
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965