Author:
Bartoletti Massimo,Castellani Ilaria,Deniélou Pierre-Malo,Dezani-Ciancaglini Mariangiola,Ghilezan Silvia,Pantovic Jovanka,Pérez Jorge A.,Thiemann Peter,Toninho Bernardo,Vieira Hugo Torres
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference96 articles.
1. Dynamic typing in a statically typed language;Abadi;ACM Trans. Program. Lang. Syst.,1991
2. A type system for flexible role assignment in multiparty communicating systems;Baltazar,2013
3. Linearly refined session types;Baltazar,2012
4. Two notions of sub-behaviour for session-based client/server systems;Barbanera,2010
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic Typestate for Session Types;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
2. Intrinsically Typed Sessions with Callbacks (Functional Pearl);Proceedings of the ACM on Programming Languages;2023-08-30
3. Foundations of Session Types;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. Relating Process Languages for Security and Communication Correctness (Extended Abstract);Formal Techniques for Distributed Objects, Components, and Systems;2018
5. TIMED SESSION TYPES;LOG METH COMPUT SCI;2017