References

[Arvind et al., 1989]

Arvind, Nikhil, R.S., and Pingali, K.K., "I-Structures - Data Structures For Parallel Computing", ACM TOPLAS 11(4), (1989), pp. 598-632.

[Blelloch et al., 1993]

Blelloch, G.E., Chatterjee, S., Hardwick, J.C., Spielstein, J., and Zagha, M., "Implementation of a Portable Nested Data-Parallel Language", Proc. Fourth ACM Conf. on Principles & Practice of Parallel Programming (PPoPP), San Diego, CA, May 19-22, (1993), pp. 102-111.

[Blelloch, 1996]

Blelloch, G.E., "Programming Parallel Algorithms", CACM, 39(3) (1996), pp. 85-97.

[Botorog and Kuchen, 1996]

Botorog, G.M., and Kuchen, H., "Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Computation", Proc. 5th. IEEE Intl. Symposium on High Performance Distributed Computing, Syracuse, NY, August 6-9, (1996), pp. 253-252.

[Burn, 1987]

Burn, G.L., Abstract Interpretation and the Parallel Evaluation of Functional Languages, PhD Thesis, Imperial College London, (1987).

[Burn, 1991]

Burn, G.L., "Implementing the Evaluation Transformer Model of Reduction on Parallel Machines", J. Functional Prog., 1(3), (1991), pp. 329-366.

[Burton, 1984]

Burton, F.W., "Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs", ACM TOPLAS, 6(2), April (1984), pp. 159-174.

[Burton, 1991]

Burton F.W., "Encapsulating Nondeterminacy in an Abstract Data Type with Deterministic Semantics" J. Functional Programming., 1(1), (199), pp. 3-20.

[Cole, 1988]

M.I. Cole, Algorithmic Skeletons, Pitman/MIT Press (1988).

[Crowl and Leblanc, 1994]

Crowl, L.A, and Leblanc, T.J., "Parallel Programming with Control Abstraction", ACM TOPLAS, 16(3), (1994), pp. 524-576.

[Danelutto et al., 1991]

Danelutto, M., Di Meglio, R., Orlando, S., Pelagatti, S., and Vanneschi, M., "The P³L Language: An Introduction", Technical Report HPL-PSC-91-29, Hewlett-Packard Laboratories, Pisa Science Centre, December, (1991).

[Darlington et al., 1995]

Darlington, J., Guo, Y., To, H.W., and Yang, J., "Parallel Skeletons for Structured Composition", Proc. Fifth ACM Conf. on Principles & Practice of Parallel Programming (PPoPP), Santa Barbara, CA, July 19-21, (1995), pp. 19-28.

[Date, 1976]

Date, C.J., An Introduction to Database Systems, 4th Edition, Addison Wesley, (1976).

[Feo et al., 1995]

Feo, J., Miller, P., Skedziewlewski, S., Denton, S., and Soloman, C., "Sisal 90", Proc. HPFC '95 -- High Performance Functional Computing, Denver, CO, April 9-11, (1995), pp. 35-47.

[Finne and Burn, 1993]

Finne, S.O., and Burn, G.L., "Assessing the Evaluation Transformer Model of Reduction on the Spineless G-Machine", Proc. FPCA '93, Copenhagen, (1993), pp. 331-340.

[Gelernter and Carriero, 1992]

Gelernter, D., and Carriero, N., "Coordination Languages and Their Significance", CACM, 32(2), February, (1992), pp. 97-107.

[Flanagan and Nikhil, 1996]

Flanagan, C., and Nikhil, R.S., "pHluid: The Design of a Parallel Functional Language Implementation", Proc. ICFP '96, Philadelphia, Penn., May 24-26, (1996), pp. 169-179.

[Foster and Taylor, 1994]

Foster, I., and Taylor, S., "A Compiler Approach to Scalable Concurrent-Program Design", ACM TOPLAS, 16(3), (1994), pp. 577-604.

[Glynn et al., 1988]

Glynn, K., Kewley, J.M., Watson, P., and While, L., "Annotations for Hope⁺", Technical Report IC/FPR/PROG/1.1.1/5, Imperial College, London, (1988).

[Halstead, 1985]

Halstead, R., "MultiLisp: A Language for Concurrent Symbolic Computation", ACM TOPLAS, 7(4), (1985), pp. 501-538.

[Hammond et al., 1995]

Hammond, K., Loidl, H.-W., and Partridge, A.S., "Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell", Proc. HPFC'95 -- High Performance Functional Computing, Denver, CO, April 9-11, (1995), pp. 208-221.

[Hartel et al., 1995]

Hartel, P., Hofman, R., Langendoen, K., Muller, H., Vree, W., and Hertzberger, L.O. "A toolkit for parallel functional programming", Concurrency -- Practice and Experience, (1995).

[HPF Forum, 1993]

High Performance Fortran Forum, "High Performance Fortran Language Specification", May (1993).

[Hoare, 1985]

Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall (1985).

[Hudak, 1986]

Hudak, P., "Para-Functional Programming", IEEE Computer, 19(8), (1986), pp. 60-71.

[Hudak, 1988]

Hudak, P., "Exploring Para-Functional Programming: Separating the what from the how", IEEE Software, 5(1), (1988), pp. 54-61.

[Hudak, 1991]

Hudak, P., "Para-Functional Programming in Haskell", In Parallel Functional Languages and Computing, ACM Press (New York) and Addison-Wesley (Reading, MA), (1991), pp. 159-196.

[Hudak and Anderson, 1987]

Hudak, P., and Anderson, S., "Pomset Interpretations of Parallel Functional Languages", Proc. FPCA '87, Springer-Verlag LNCS 274, September (1987), pp. 234-256.

[Hughes, 1983]

Hughes, R.J.M., The Design and Implementation of Programming Languages, DPhil Thesis, Oxford University, (1983).

[Jackson and Burton, 1993]

Jackson, W.K., and Burton F.W., "Improving intervals", J. Functional Programming., 3(2), (1993), pp. 153-169.

[Jones and Hudak, 1993]

Jones M.P., and Hudak, P., "Implicit and Explicit Parallel Programming in Haskell", Research Report YALEU/DCS/RR-982, University of Yale, August 13, (1993).

[Kelly, 1989]

Kelly, P.H.J., Functional Programming for Loosely-Coupled Multiprocessors, Pitman/MIT Press, (1989).

[Kewley and Glynn, 1989]

Kewley, J.M., and Glynn, K., "Evaluation Annotations for Hope⁺", Glasgow Workshop on Functional Programming, Fraserburgh, Scotland, Springer-Verlag WICS, (1989), pp. 329-337.

[Kranz et al., 1989]

Kranz, D., Halstead, R., and Mohr, E., "Mul-T: A High-Performance Parallel Lisp", Proc. PLDI '89, Portland, OR, June, (1989), pp. 81-90.

[Lauer, 1982]

M. Lauer, "Computing by Homomorphic Images", in Computer Algebra -- Symbolic and Algebraic Computation, B. Buchberger, G.E. Collins, R. Loos, and R. Albrecht, (Eds.), Springer Verlag (1982), pp. 139-168.

[Loidl et al., 1995]

Loidl, H.-W., Hammond, K., and Partridge A.S., "Solving Systems of Linear Equations Functionally: a Case Study in Parallelisation", Technical Report, Dept. of Computing Science, University of Glasgow, (1995).

[McColl, 1996]

McColl, W.F., "Scalability, Portability and Predictability: The BSP Approach to Parallel Programming", Future Generation Computer Systems, 12(4), (1996), pp. 265-272.

[McGraw, 1985]

McGraw, J.R., Skedzielewski, S., Allan, S., Oldehoeft, R., Glauert, J.R.W., Kirkham, C., Boyce, W., and Thomas, R., "SISAL: Streams and Iteration in a Single Assignment Language", Language Reference Manual Version 1.2, Manual M-146, Rec. 1, Lawrence Livermore National Laboratory, March (1985).

[Milner, 1989]

Milner, A.J.R.G., Communication and Concurrency, Prentice Hall (1989).

[Mirani and Hudak, 1995]

Mirani, R., and Hudak, P., "First-Class Schedules and Virtual Maps", Proc. FPCA '95, La Jolla, CA, June, (1995), pp. 78-85.

[Mohr et al., 1991]

Mohr, E., Kranz, D.A., and Halstead, R.H., "Lazy Task Creation - a Technique for Increasing the Granularity of Parallel Programs", IEEE Transactions on Parallel and Distributed Systems, 2(3), July, (1991), pp. 264-280.

[Morgan et al., 1994]

Morgan, R.G., Smith, M.H., and Short, S., "Translation by Meaning and Style in Lolita", Intl. BCS Conf. -- Machine Translation Ten Years On, Cranfield University, November, (1994).

[Nikhil et al., 1993]

Nikhil, R.S., Arvind and Hicks, J., "pH language proposal", DEC Cambridge Research Lab Tech. Rep. (1993).

[Nikhil et al., 1992]

Nikhil, R.S., Papadopolous, G.M., and Arvind, "*T: a Multithreaded Massively Parallel Architecture", Proc. ISCA '92, (1992), pp. 156-167.

[Nöcker et al., 1991]

Nöcker, E.G.J.M.H., Smetsers, J.E.W., van Eekelen, M.C.J.D., and Plasmeijer, M.J., "Concurrent Clean", Proc. PARLE '91, Springer Verlag LNCS 505/506, (1991), pp. 202-220.

[Olden et al., 1995]

Rogers, A., Carlisle, M.C., Reppy, J.H. and Hendren, L.J. "Supporting Dynamic Data Structures on Distributed-Memory Machines", ACM TOPLAS 17(2), March (1995), pp. 233-263.

[Papadopoulos, 1990]

Papadopoulos, G.M., and Culler, D.E., "Monsoon: An Explicit Token Store Architecture", In Proc. ISCA '90, Seattle, WA, May (1990).

[Peterson et al., 1996]

Peterson J.C., Hammond, K. (eds.), Augustsson, L., Boutel, B., Burton, F.W., Fasel, J., Gordon, A.D., Hughes, R.J.M., Hudak, P., Johnsson, T., Jones, M.P., Peyton Jones, S.L., Reid, A., and Wadler, P.L., Report on the Non-Strict Functional Language, Haskell, Version 1.3, (1996).
http://haskell.org/report/index.html

[Rabhi, 1993]

Rabhi, F.A. "Exploiting Parallelism in Functional Languages: a `Paradigm-Oriented' Approach", in Abstract Machine Models for Highly Parallel Computers, Dew, P. and Lake, T. (eds.), Oxford University Press, (1993).

[Roe, 1991]

Roe, P., Parallel Programming using Functional Languages, PhD thesis, Dept. of Computing Science, University of Glasgow, April, (1991).

[Rose, et al., 1987]

Rose, J., and Steele, G.L. Jr., "C*: an Extended C Language for Data Parallel Programming", Technical Report PL87-5, Thinking Machines Corp., (1987).

[Runciman, 1995]

Runciman, C., and Wakeling D., Applications of Functional Programming, UCL Press, (1995).

[Sansom and Peyton Jones, 1995]

Sansom, P.M., and Peyton Jones, S.L., "Time and Space Profiling for Non-Strict, Higher-Order Functional Languages", Proc. POPL '95, (1995), pp. 355-366.

[Smirni et al., 1995]

Smirni, E., Merlo, A., Tessera, D., Haring, G., and Kotsis, G., "Modeling speedup of SPMD applications on the Intel Paragon: a case study", In B. Hertzberger, and G. Serazzi, editors, Proc. High Performance Computing and Networking (HPCN '95), Milan, Italy, May (1995), Springer-Verlag LNCS 919, pp. 94-101.

[Subhlok et al., 1993]

Subhlok, J., Stichnooch, J.M., O'Hallaron, D.R., and Gross, T., "Exploiting Task and Data Parallelism on a Multicomputer", Proc. Fourth ACM Conf. on Principles & Practice of Parallel Programming (PPoPP), San Diego, CA, May 19-22, (1993), pp. 13-22.

[Traub, 1991]

Traub, K.R., Implementation of Non-Strict Functional Programming Languages, Research Monographs in Parallel and Distributed Computing, Pitman/MIT, (1991).

[Traub et al., 1992]

Traub, K.R., Culler, D.E., and Schauser, K.E., Global Analysis for Partitioning Non-Strict Programs into Sequential Threads, In LFP '92, San Francisco, CA, June 22-24, (1992), pp. 324-334.

[Trinder et al., 1996]

Trinder, P.W., Hammond, K., Mattson, J.S. Jr., Partridge, A.S., and Peyton Jones, S.L., "GUM: a Portable Parallel Implementation of Haskell", Proc. PLDI '96, Philadelphia, Penn., May 22-24, (1996), pp. 79-88.

[Trinder et al., 1996]

Trinder, P.W., Hammond, K., Loidl, H-W., Peyton Jones, S.L., and J. Wu, "A Case Study of Data-intensive Programs in Parallel Haskell" Proc. Glasgow Functional Programming Workshop, Ullapool, Scotland, (1996).

[Wadler and Hughes, 1987]

Wadler, P.L., and Hughes, R.J.M., "Projections for Strictness Analysis", Proc. FPCA '87, September, (1987).