Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Asai, K.: Online Partial Evaluation for Shift and Reset. In: Proc. ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pp. 19–30 (2002)
2. Asai, K.: Offline Partial Evaluation for Shift and Reset. In: Proc. ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation (to appear)
3. Biernacka, M., Biernacki, D., Danvy, O.: An operational foundation for delimited continuations. Proc. Fourth ACM SIGPLAN Workshop on Continuations, Technical Report CSR-04-1, School of Computer Science, University of Birmingham, pp. 25–34 (2004)
4. Danvy, O.: Type-directed partial evaluation. In: Proc. 23rd Symposium on Principles of Programming Languages, pp. 242–257 (1996)
5. Danvy, O.: On evaluation contexts, continuations, and the rest of the computation. In: Proc. Fourth ACM SIGPLAN Workshop on Continuations, Technical Report CSR-04-1, School of Computer Science, University of Birmingham, pp. 13–23 (2004)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Typing, representing, and abstracting control: functional pearl;Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development;2018-09-27
2. On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control;Logic for Programming, Artificial Intelligence, and Reasoning;2015
3. A Rational Deconstruction of Landin’s J Operator;Implementation and Application of Functional Languages;2006
4. An Operational Foundation for Delimited Continuations in the CPS Hierarchy;Logical Methods in Computer Science;2005-11-08