Affiliation:
1. University of Edinburgh
Publisher
Open Publishing Association
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Session Types for the Transport Layer: Towards an Implementation of TCP;Electronic Proceedings in Theoretical Computer Science;2024-04-06
2. Session Types with Multiple Senders Single Receiver;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15
3. ElixirST: A session-based type system for Elixir modules;Journal of Logical and Algebraic Methods in Programming;2023-10
4. Intrinsically Typed Sessions with Callbacks (Functional Pearl);Proceedings of the ACM on Programming Languages;2023-08-30
5. Taming stateful computations in Rust with typestates;Journal of Computer Languages;2022-10