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
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献