Author:
Calcagno Cristiano,Moggi Eugenio,Taha Walid
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, and Tim Sheard. Logical modalities and multi-stage programming. In Federated Logic Conference (FLoC) Satellite Workshop on Intuitionistic Modal Logics and Applications (IMLA), July 1999.
2. Dominique Clement, Joelle Despeyroux, Thierry Despeyroux, and Gilles Kahn. A simple applicative language: Mini-ML. In Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, pages 13–27. ACM, ACM, August 1986.
3. Rowan Davies. A temporal-logic approach to binding-time analysis. In Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, pages 184–195, New Brunswick, July 1996. IEEE Computer Society Press.
4. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In 23rd Annual ACM Symposium on Principles of Programming Languages (POPL’96), pages 258–270, St. Petersburg Beach, January 1996.
5. Carsten K. Gomard and Neil D. Jones. A partial evaluator for untyped lambda calculus. Journal of Functional Programming, 1(1):21–69, January1991.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Refined Environment Classifiers;Programming Languages and Systems;2016
2. Shifting the stage;Journal of Functional Programming;2011-11
3. Type-specialized staged programming with process separation;Higher-Order and Symbolic Computation;2011-11
4. Lightweight modular staging;ACM SIGPLAN Notices;2011-01-26
5. Metaphor: A Multi-stage, Object-Oriented Programming Language;Generative Programming and Component Engineering;2004