Polymorphic Session Processes as Morphisms-Reference-Cited by-同舟云学术

Polymorphic Session Processes as Morphisms

Published:2019 Issue: Volume: Page:101-117
ISSN:0302-9743
Container-title:The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
language:
Short-container-title:

Author:

Toninho Bernardo,Yoshida Nobuko

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-31175-9_7

Reference33 articles.

1. Bainbridge, E.S., Freyd, P.J., Scedrov, A., Scott, P.J.: Functorial polymorphism. Theor. Comput. Sci. 70(1), 35–64 (1990)

2. Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall Inc., Upper Saddle River (1997)

3. Bird, R.S., de Moor, O., Hoogendijk, P.F.: Generic functional programming with types and relations. J. Funct. Program. 6(1), 1–28 (1996)

4. Birkedal, L., Møgelberg, R.E., Petersen, R.L.: Linear Abadi and Plotkin Logic. Logical Methods Comput. Sci. 2(5) (2006). https://lmcs.episciences.org/2233

5. Lecture Notes in Computer Science;L Caires,2013

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

1. Composable partial multiparty session types for open systems;Software and Systems Modeling;2022-09-28

2. Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types;ACM Transactions on Programming Languages and Systems;2022-07-15

3. On Polymorphic Sessions and Functions;ACM Transactions on Programming Languages and Systems;2021-06-30

4. Composable Partial Multiparty Session Types;Formal Aspects of Component Software;2021

5. Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols;Programming Languages and Systems;2021