MetaML and multi-stage programming with explicit annotations

This publication has 27 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• A categorical account of two-level languages
  Electronic Notes in Theoretical Computer Science, 1997
• Effective specialization of realistic programs via use sensitivity
  Published by Springer Nature ,1997
• Automatic generation and use of abstract structure operators
  ACM Transactions on Programming Languages and Systems, 1991
• Unboxed values as first class citizens in a non-strict functional language
  Published by Springer Nature ,1991
• A partial evaluator for the untyped lambda-calculus
  Journal of Functional Programming, 1991
• Two-level semantics and abstract interpretation
  Theoretical Computer Science, 1989
• Two-level semantics and code generation
  Theoretical Computer Science, 1988
• Correctness of code generation from a two-level meta-language
  Published by Springer Nature ,1986
• Program transformations in a denotational setting
  ACM Transactions on Programming Languages and Systems, 1985