Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Ahmed, A., Fluet, M., Morrisett, G.: L$${}^{{3}}$$: a linear language with locations. Fundam. Informaticae 77(4), 397–449 (2007)
2. Charguéraud, A., Pottier, F.: Functional translation of a calculus of capabilities. In: Proceedings of ICFP 2008, pp. 213–224. ACM (2008)
3. Courcelle, B.: Fundamental properties of infinite trees. Theor. Comput. Sci. 25, 95–169 (1983)
4. Dardha, O., Giachino, E., Sangiorgi, D.: Session types revisited. In: Proceedings of PPDP 2012, pp. 139–150. ACM (2012)
5. Lecture Notes in Computer Science;R Demangeon,2011
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic higher-order context-free session types;Theoretical Computer Science;2024-06
2. Parameterized Algebraic Protocols;Proceedings of the ACM on Programming Languages;2023-06-06
3. Polymorphic lambda calculus with context-free session types;Information and Computation;2022-11
4. On Polymorphic Sessions and Functions;ACM Transactions on Programming Languages and Systems;2021-06-30
5. Relating Functional and Imperative Session Types;Lecture Notes in Computer Science;2021