Multi-stage programming with explicit annotations

This publication has 14 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• A type-directed, on-line, partial evaluator for a polymorphic language
  Published by Association for Computing Machinery (ACM) ,1997
• Monadic state
  Published by Association for Computing Machinery (ACM) ,1997
• Reasoning about hierarchies of online program specialization systems
  Published by Springer Nature ,1996
• The essence of eta-expansion in partial evaluation
  Higher-Order and Symbolic Computation, 1995
• A Syntactic Approach to Type Soundness
  Information and Computation, 1994
• Efficient self-interpretation in lambda calculus
  Journal of Functional Programming, 1992
• A partial evaluator for the untyped lambda-calculus
  Journal of Functional Programming, 1991
• Computing with rewrite systems
  Information and Control, 1985
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975