- Appel 89.A. W. Appel and T. Jim. Continuation-Passing, Closure-Passing Style. In Proc. POPL, pp 293-302, 1989. Google ScholarDigital Library
- Augustsson 89.L. Augustsson and T. Johnsson. Parallel graph reduction with the .( v, G ~-machine. In Proc. Conf. on Functional Programming and Computer architecure, pp 202-213, September 1989. Google ScholarDigital Library
- Banâtre 88.J.-P. Banb. tre, A. Coutant, and D. Le M~tayer. A parallel machine for multiset transformation and its programming style, in Future Generation Computer Systems, volume 4, pp 133-144, 1988. Google ScholarDigital Library
- Berry 90.G. Berry and G. Boudol. The Chemical Abstract Machine. In Proc. POPL, pp 81-94, 1990. Google ScholarDigital Library
- Bush 85.V. J. Bush and J. R. Gurd. Transforming Recursive Programs for Execution on Parallel Machines. In Conference on Fonctionnal Programming and Computer Architecture, LNCS ~01, pp 350-367, September 1985. Google ScholarDigital Library
- Fradet 89a.P. Fradet and D. Le M4tayer. Compilation of lambda-calculus into functional machine code. in Proc. TAP$OFT 89, Springer Verlag, LNCS 352, pp 155-166, March 1989. Google Scholar
- Fradet 89b.P. Fradet and D. Le M~tayer. Compilation of functional languages by program transformation. Research report, INRIA, May 1989.Google Scholar
- Goldberg 88.B. F. Goldberg. Multiprocessor execution o} functionalprograms. PhD thesis, Graduate School of Yale University, April 1988. Yale Reasearch Report RR-618. Google ScholarDigital Library
- Harrison 86.P. G. Harrison and M. J. Reeve. The Parallel Graph Reduction Machine, ALICE. in Proc. on Graph Reduction Workshop, ~NC'S ~79, pp 181-202, October 1986. Google ScholarDigital Library
- Hetzberger 89.L. O. Hetzberger and W. G. Vree. A coarse grain parallel architecture for functional languages. In Proc. PARLEY89, Springer Verlag, LNCS 365, pp 263- 285, 1989. Google Scholar
- Hudak 86.P. Hudak. Para-functional programming. Computer, Vol. 19(8):60-71, August 1986. Google ScholarDigital Library
- Johnsson 85.T. Johnsson. Lambda-lifting- transforming programs to recursive equations. In Proc. Conf. on Functional Programming and Computer Architecture, Springer Verlag, LNCS 201, pp 190-203, September 1985. Google ScholarDigital Library
- Kranz 86.D. Kranz, R. Kelsey, J. Rees, P. Hudak, J. Philbin, and N. Adams. ORBIT: An Optimizing Compiler for Scheme. In Pro~. of the SIGPLAN '86 Symposium on Compiler Construction, pp 219-233, 1986. Google ScholarDigital Library
- Lemaître 86.M. Lemaitre, M. Castan, M. H. Durand, G. Durrieu, and B. Lecussan. Mechanisms for Efficient Multiprocessor Combinator Reduction. in Proc. A CM Syrap. on Lisp Functional Programming, pp 113-121, 1986. Google ScholarDigital Library
- Peyton Jones 89.S. L. Peyton Jones. Parallel implementations of functional programming languages. The Computer Journal, Vol. 32(2):175-186, 1989. Google ScholarDigital Library
- Steele 78.G.L.Jr. Steele. Rabbit: a compiler for Scheme. Ai technical report, MIT, 1978. Google ScholarDigital Library
- Turner 79.D. A. Turner. A new implementation technique for applicative languages. Software Practice and Experience, 9:31-49, 1979.Google ScholarCross Ref
- Vegdahl 84.S. R. Vegdahl. A Survey of Proposed Architectures for the Execution of Functional Languages. iEEE Transactions on computers, rot C-33(12), December 1984.Google Scholar
- Wand 80.M. Wand. Continuation-Based Multiprocessing. In A MC Conf. on Lisp and Functionnal Programming, pp 19-28, 1980. Google ScholarDigital Library
- Wand 82a.M. Wand. Deriving Target Code as a Representation of Continuation Semantics. A CM Transactions on Programming Languages and Systems, vol. 4(3):496-517, 1982. Google ScholarDigital Library
- Wand 82b.M. Wand. Semantics-Directed Machine Architecture. In Proc. POPL, pp 234-241, 1982. Google ScholarDigital Library
- Wand 83.M. Wand. Loop in Combinator-Based Compilers. In Proc. POPL, pp 190-196, 1983. Google ScholarDigital Library
Index Terms
- Continuation-based parallel implementation of functional programming languages
Recommendations
Comparing Parallel Functional Languages: Programming and Performance
This paper presents a practical evaluation and comparison of three state-of-the-art parallel functional languages. The evaluation is based on implementations of three typical symbolic computation programs, with performance measured on a Beowulf-class ...
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML
ICNC '10: Proceedings of the 2010 First International Conference on Networking and ComputingBulk Synchronous Parallel ML or BSML is a high-level language for programming parallel algorithms. Built upon the Objective Caml language, it provides a safe setting for implementing Bulk Synchronous Parallel (BSP) algorithms. It avoids concurrency ...
Comments