Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming

This publication has 13 references indexed in Scilit:

• A temporal-logic approach to binding-time analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival
  ACM SIGPLAN Notices, 1999
• An Idealized MetaML: Simpler, and More Expressive
  Published by Springer Nature ,1999
• The Definition of Standard ML
  Published by MIT Press ,1997
• A computational formalization for partial evaluation
  Mathematical Structures in Computer Science, 1997
• A modal analysis of staged computation
  Published by Association for Computing Machinery (ACM) ,1996
• Fast binding-time analysis for multi-level specialization
  Published by Springer Nature ,1996
• A partial evaluator for the untyped lambda-calculus
  Journal of Functional Programming, 1991
• A simple applicative language: mini-ML
  Published by Association for Computing Machinery (ACM) ,1986
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975