Behavioral Polymorphism and Parametricity in Session-Based Communication-Reference-Cited by-同舟云学术

Behavioral Polymorphism and Parametricity in Session-Based Communication

Published:2013 Issue: Volume: Page:330-349
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Caires Luís,Pérez Jorge A.,Pfenning Frank,Toninho Bernardo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-37036-6_19

Reference30 articles.

1. Lecture Notes in Computer Science;M. Berger,2003

2. Berger, M., Honda, K., Yoshida, N.: Genericity and the pi-calculus. Acta Inf. 42(2-3), 83–141 (2005)

3. Bono, V., Padovani, L.: Polymorphic endpoint types for copyless message passing. In: Proc. of ICE 2011. EPTCS, vol. 59, pp. 52–67 (2011)

4. Bono, V., Padovani, L.: Typing copyless message passing. Logical Methods in Computer Science 8(1) (2012)

5. Caires, L., Pérez, J.A., Pfenning, F., Toninho, B.: Relational parametricity for polymorphic session types. Tech. rep., CMU-CS-12-108, Carnegie Mellon Univ. (April 2012)

Cited by 45 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Polymorphic higher-order context-free session types;Theoretical Computer Science;2024-06

2. Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing;Proceedings of the ACM on Programming Languages;2024-01-05

3. The Session Abstract Machine;Lecture Notes in Computer Science;2024

4. Polymorphic Typestate for Session Types;International Symposium on Principles and Practice of Declarative Programming;2023-10-22

5. EXPRESSing Session Types;Electronic Proceedings in Theoretical Computer Science;2023-09-14