On the relation between functional and data parallel programming languages

Per Hammarlund~ and Bjorn Lisper tSANS—Studies of Artificial Neural Systems NADA—Department or Numerical Analysis and Computing Science Royal Institute of Technology, S-1OO 44 Stockholm, SWEDEN perhem~nada. kth. se Department of Teleinformatics Royal Institute of Technology, Electrum 204, S-164 40 Kista, SWEDEN

[1]  Trenchard More,et al.  Axioms and Theorems for a Theory of Arrays , 1973, IBM J. Res. Dev..

[2]  Guy L. Steele,et al.  Data Optimization: Allocation of Arrays to Reduce Communication on SIMD Machines , 1990, J. Parallel Distributed Comput..

[3]  Guy E. Blelloch,et al.  Compiling Collection-Oriented Languages onto Massively Parallel Computers , 1990, J. Parallel Distributed Comput..

[4]  A. D. Falkoff,et al.  The design of APL , 1973, APLQ.

[5]  Paul Hudak,et al.  Conception, evolution, and application of functional programming languages , 1989, CSUR.

[6]  Paul Hudak,et al.  Compilation of Haskell array comprehensions for scientific computing , 1990, PLDI '90.

[7]  John Darlington,et al.  A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[8]  W. Daniel Hillis,et al.  Data parallel algorithms , 1986, CACM.

[9]  David B. Skillicorn,et al.  Architecture-independent parallel computation , 1990, Computer.

[10]  Anders Lansner,et al.  Implementations of Very Large Recurrent ANNs on Massively Parallel SIMD Computers , 1992 .

[11]  John R. Gilbert,et al.  Automatic array alignment in data-parallel programs , 1993, POPL '93.

[12]  W. Daniel Hillis,et al.  Connection Machine Lisp: fine-grained parallel symbolic processing , 1986, LFP '86.

[13]  Harry Berryman,et al.  Performance of Hashed Cache Data Migration Schemes on Multicomputers , 1991, J. Parallel Distributed Comput..

[14]  A Budd Timothy,et al.  A New Approach to Vector Code Generation for Applicative Languages , 1988 .

[15]  Robin Milner,et al.  The definition of standard ML Version 2: LFCS report ECS-LFCS-88-62 , 1988 .

[16]  Örjan Ekeberg,et al.  A One-Layer Feedback Artificial Neural Network with a Bayesian Learning Rule , 1989, Int. J. Neural Syst..

[17]  Guy L. Steele,et al.  Data Parallel Computers and the FORALL Statement , 1991, J. Parallel Distributed Comput..

[18]  John McCarthy,et al.  Mathematical Theory of Computation , 1991 .

[19]  A Budd Timothy,et al.  Composition and Compilation in Functional Programming Languages , 1988 .

[20]  Rice UniversityCORPORATE,et al.  High performance Fortran language specification , 1993 .

[21]  Boleslaw K. Szymanski,et al.  Generating parallel code for SIMD machines , 1992, LOPL.

[22]  David C. Cann,et al.  A Report on the Sisal Language Project , 1990, J. Parallel Distributed Comput..

[23]  Dines Bjørner,et al.  Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987 , 1988 .

[24]  Boleslaw K. Szymanski,et al.  Parallel functional languages and compilers , 1991 .

[25]  Zohar Manna,et al.  Introduction to mathematical theory of computation , 1972 .

[26]  Dines Bjørner,et al.  Partial Evaluation and Mixed Computation , 1987 .

[27]  Harry Berryman,et al.  Run-Time Scheduling and Execution of Loops on Message Passing Machines , 1990, J. Parallel Distributed Comput..

[28]  Bruno Carpentieri,et al.  Compile-time transformations and optimization of parallel Divide-and-Conquer algorithms , 1991, SIGP.

[29]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.