Publisher
Springer Berlin Heidelberg
Reference59 articles.
1. Abramsky, S. and R. Bornat. Pascal-m: A language for loosely coupled distributed systems. In Y. Paker and J.-P. Verjus (eds.), Distributed Computing Systems, pp. 163–189. Academic Press, New York, N.Y., 1986.
2. Agha, G. Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, Mass., 1986.
3. Appel, A. W. and D. B. MacQueen. A Standard ML compiler. In Functional Programming Languages and Computer Architecture, vol. 274 of Lecture Notes in Computer Science. Springer-Verlag, September 1987, pp. 301–324.
4. Andrews, G. R. Concurrent Programming: Principles and Practice. Benjamin/Cummings, Redwood City, California, 1991.
5. Andrews, G. R., R. A. Olsson, M. Coffin, and I. Elshoff. An overview of the SR language and implementation. ACM Transactions on Programming Languages and Systems, 10(7), January 1988, pp. 51–86.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Temporal Verification for Algebraic Effects;Programming Languages and Systems;2022
2. Higher-order concurrency for microcontrollers;Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2021-09-29
3. A Dictionary-Passing Translation of Featherweight Go;Programming Languages and Systems;2021
4. FreeST: Context-free Session Types in a Functional Language;Electronic Proceedings in Theoretical Computer Science;2019-04-02
5. An extended account of contract monitoring strategies as patterns of communication;Journal of Functional Programming;2018