Abstract
AbstractWe introduce $$\textsf{CLASS}$$
CLASS
, a session-typed, higher-order, core language that supports concurrent computation with shared linear state.
Publisher
Springer Nature Switzerland
Reference83 articles.
1. Abramsky, S.: Computational Interpretations of Linear Logic. Theoret. Comput. Sci. 111(1–2), 3–57 (1993)
2. Abramsky, S., Gay, S.J., Nagarajan, R.: Interaction categories and the foundations of typed concurrent programming. In: NATO ASI DPD. pp. 35–113 (1996)
3. Ahmed, A., Fluet, M., Morrisett, G.: L$$^3$$: A linear language with locations. Fundam. Inf. 77(4), 397–449 (Dec 2007)
4. Andreoli, J.M.: Logic programming with focusing proofs in linear logic. J. Logic Comput. 2(3), 197–347 (1992)
5. Andreoli, J.M.: Logic Programming with Focusing Proofs in Linear Logic. J. Log. Comput. 2(3), 297–347 (1992)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Message-Observing Sessions;Proceedings of the ACM on Programming Languages;2024-04-29
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. Using Pi-Calculus Names as Locks;Electronic Proceedings in Theoretical Computer Science;2023-09-14
5. Typed Non-determinism in Functional and Concurrent Calculi;Programming Languages and Systems;2023