A concurrency monad based on constructor primitives: or, being first-class is not enough
暂无分享,去创建一个
[1] R. Lyndon While,et al. Controlling the behaviour of functional language systems , 1987, FPCA.
[2] Philip Wadler,et al. The essence of functional programming , 1992, POPL '92.
[3] Sjouke Mauw,et al. A process specification formalism , 1990 .
[4] Manfred Broy,et al. A Theory for Nondeterminism, Parallelism, Communication, and Concurrency , 1986, Theor. Comput. Sci..
[5] Simon L. Peyton Jones,et al. Lazy functional state threads , 1994, PLDI '94.
[6] William Stoye. Message-Based Functional Operating Systems , 1986, Sci. Comput. Program..
[7] David Turner,et al. Functional Programming and Communicating Processes , 1987, PARLE.
[8] Henri E. Bal,et al. Programming languages for distributed computing systems , 1989, CSUR.
[9] Philip Wadler,et al. Comprehending monads , 1990, LISP and Functional Programming.
[10] John Hughes,et al. Expressing and Reasoning About Non-Deterministic Functional Programs , 1989, Functional Programming.
[11] Peter Henderson,et al. Purely Functional Operating Systems , 1982 .
[12] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[13] Sjouke Mauw,et al. PSF : a process specification formalism , 1991 .
[14] Gregory R. Andrews,et al. Concurrent programming - principles and practice , 1991 .
[15] Enno Scholz. Turning a functional data type into a concurrent programming language , 1995, SAC '95.