A process semantics for functional programming
暂无分享,去创建一个
[1] Richard Kennaway,et al. Expressions as processes , 1982, LFP '82.
[2] Zhenzhong Li. A pi-calculus Specification of Prolog , 1993, ILPS.
[3] Simon Brock,et al. Process Semantics of Graph Reduction , 1995, CONCUR.
[4] J. Glauert,et al. A new process model for functions , 1993 .
[5] Alan Jeffrey,et al. A Chemical Abstract Machine for Graph Reduction , 1993, MFPS.
[6] Simon L. Peyton Jones,et al. A Safe Approach to Parallel Combinator Reduction (Extended Abstract) , 1986, ESOP.
[7] Benjamin Z. Li. A -calculus Speciication of Prolog , 1994 .
[8] Benjamin Z. Li. A π-calculus Specific ation of Prolog , 1994 .
[9] Gérard Boudol,et al. Some Chemical Abstract Machines , 1993, REX School/Symposium.
[10] Matthias Felleisen,et al. A call-by-need lambda calculus , 1995, POPL '95.
[11] David Turner,et al. Research topics in functional programming , 1990 .
[12] Robin Milner. Functions as Processes , 1990, ICALP.
[13] John R. W. Glauert,et al. Asynchronous Mobile Processes and Graph Rewriting , 1992, PARLE.
[14] Alan Jeffrey,et al. A fully abstract semantics for concurrent graph reduction , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
[15] S. Abramsky. The lazy lambda calculus , 1990 .
[16] John Launchbury,et al. A natural semantics for lazy evaluation , 1993, POPL '93.
[17] David Walker,et al. Pi-Calculus Semantics of Object-Oriented Programming Languages , 1991, TACS.