Author:
Ancona Davide,Bono Viviana,Bravetti Mario,Campos Joana,Castagna Giuseppe,Deniélou Pierre-Malo,Gay Simon J.,Gesbert Nils,Giachino Elena,Hu Raymond,Johnsen Einar Broch,Martins Francisco,Mascardi Viviana,Montesi Fabrizio,Neykova Rumyana,Bono Nicholas Ng,Padovani Luca,Vasconcelos Vasco T.,Yoshida Nobuko
Subject
Computer Science Applications,Theoretical Computer Science,Software
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Choral: Object-oriented Choreographic Programming;ACM Transactions on Programming Languages and Systems;2024-01-16
2. Dynamic Semiosis: Meaning, Informing, and Conforming in Constructing the Past;Information;2023-12-25
3. Polymorphic Typestate for Session Types;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
4. Intrinsically Typed Sessions with Callbacks (Functional Pearl);Proceedings of the ACM on Programming Languages;2023-08-30
5. HasChor: Functional Choreographic Programming for All (Functional Pearl);Proceedings of the ACM on Programming Languages;2023-08-30