Accomplishments and Research Challenges in Meta-programming

This publication has 49 references indexed in Scilit:

• A temporal-logic approach to binding-time analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An infrastructure for profile-driven dynamic recompilation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming
  Published by Springer Nature ,2000
• From Macrogeneration to Syntactic Abstraction
  Higher-Order and Symbolic Computation, 2000
• Cayenne—a language with dependent types
  ACM SIGPLAN Notices, 1998
• Fast, effective dynamic compilation
  Published by Association for Computing Machinery (ACM) ,1996
• A modal analysis of staged computation
  Published by Association for Computing Machinery (ACM) ,1996
• Concrete syntax for data objects in functional languages
  Published by Association for Computing Machinery (ACM) ,1988
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940