Author:
Materzok Marek,Biernacki Dariusz
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Biernacka, M., Biernacki, D.: Context-based proofs of termination for typed delimited-control operators. In: López-Fraguas, F.J. (ed.) Proceedings of the 11th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2009, Coimbra, Portugal. ACM Press (September 2009)
2. Biernacka, M., Biernacki, D., Danvy, O.: An operational foundation for delimited continuations in the CPS hierarchy. Logical Methods in Computer Science 1(2:5), 1–39 (2005)
3. Biernacka, M., Biernacki, D., Lenglet, S.: Typing control operators in the CPS hierarchy. In: Hanus, M. (ed.) Proceedings of the 13th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2011, Odense, Denmark. ACM Press (July 2011)
4. Biernacka, M., Danvy, O.: A syntactic correspondence between context-sensitive calculi and abstract machines. Theoretical Computer Science 375(1-3), 76–108 (2007)
5. Biernacki, D., Danvy, O., Millikin, K.: A dynamic continuation-passing style for dynamic delimited continuations. Technical Report BRICS RS-06-15, DAIMI, Department of Computer Science, Aarhus University, Aarhus, Denmark (October 2006)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
2. Back to Direct Style: Typed and Tight;Proceedings of the ACM on Programming Languages;2023-04-06
3. Towards a Reflection for Effect Handlers;Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2023-01-15
4. Understanding Algebraic Effect Handlers via Delimited Control Operators;Lecture Notes in Computer Science;2022
5. Compiling effect handlers in capability-passing style;Proceedings of the ACM on Programming Languages;2020-08-02