Meta-programming with names and necessity

This publication has 11 references indexed in Scilit:

• Closed types for a safe imperative MetaML
  Journal of Functional Programming, 2003
• Stochastic lambda calculus and monads of probability distributions
  Published by Association for Computing Machinery (ACM) ,2002
• Nominal Logic: A First Order Theory of Names and Binding
  Published by Springer Nature ,2001
• Accomplishments and Research Challenges in Meta-programming
  Published by Springer Nature ,2001
• A judgmental reconstruction of modal logic
  Mathematical Structures in Computer Science, 2001
• A Metalanguage for Programming with Bound Names Modulo Renaming
  Published by Springer Nature ,2000
• A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival
  ACM SIGPLAN Notices, 1999
• Modal types as staging specifications for run-time code generation
  ACM Computing Surveys, 1998
• Run-time code generation and modal-ML
  Published by Association for Computing Machinery (ACM) ,1998
• A modal analysis of staged computation
  Published by Association for Computing Machinery (ACM) ,1996