Logical Modalities and Multi-Stage Programming

  • Zine El-Abidine
  • Published 1999


Multi-stage programming is a method for improving the performance of programs through the introduction of controlled program specialization. This paper makes a case for multi-stage programming with open code and closed values. We argue that a simple language exploiting interactions between two logical modalities is well suited for multi-stage programming, and report the results from our study of categorical models for multi-stage languages.

Cite this paper

@inproceedings{ElAbidine1999LogicalMA, title={Logical Modalities and Multi-Stage Programming}, author={Zine El-Abidine}, year={1999} }