{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:06:25Z","timestamp":1763467585900,"version":"build-2065373602"},"reference-count":82,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order and Symbolic Computation"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1023\/a:1025641323400","type":"journal-article","created":{"date-parts":[[2003,9,23]],"date-time":"2003-09-23T22:47:08Z","timestamp":1064357228000},"page":"203-251","source":"Crossref","is-referenced-by-count":40,"title":["Comparing Parallel Functional Languages: Programming and Performance"],"prefix":"10.1007","volume":"16","author":[{"given":"H.-W.","family":"Loidl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Rubio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Scaife","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Hammond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Horiguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Klusik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Loogen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.J.","family":"Michaelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Pe\u00f1a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Priebe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1.J.","family":"Reb\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.W.","family":"Trinder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"5142637_CR1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1002\/cpe.4330070305","volume":"7","author":"B. Bacci","year":"1995","unstructured":"Bacci, B., Danelutto, M., Orlando, S., Pelagatti, S., and Vanneschi, M. P3L: A structured high level programming language and its structured support. Concurrency\u2014Practice and Experience, 7(3) (1995) 225\u2013255.","journal-title":"Concurrency\u2014Practice and Experience"},{"key":"5142637_CR2","first-page":"13","volume":"1662","author":"B. Bacci","year":"1999","unstructured":"Bacci, B., Gorlatch, S., Lengauer, C., and Pelagatti, S. Skeletons and transformations in an integrated parallel programming environment. In PACT'99\u2014Intl. Conf. on Parallel Architecture and Compilations Techniques, Vol. 1662 of LNCS, 1999, pp. 13\u201327.","journal-title":"PACT'99\u2014Intl. Conf. on Parallel Architecture and Compilations Techniques"},{"issue":"3","key":"5142637_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/227234.227246","volume":"39","author":"G. Blelloch","year":"1996","unstructured":"Blelloch, G. Programming parallel algorithms. Communications of the ACM, 39(3) (1996) 85\u201397.","journal-title":"Communications of the ACM"},{"key":"5142637_CR4","doi-asserted-by":"crossref","unstructured":"Blelloch, G., Miller, G., and Talmor, D. Developing a practical projection-based parallel delaunay algorithm. In Symp. on Computational Geometry. Philadelphia, PA, 1996, pp. 186\u2013195.","DOI":"10.1145\/237218.237357"},{"key":"5142637_CR5","unstructured":"Blelloch, G. and Narlikar, G. A Practical comparison of N-body algorithms. In Parallel Algorithms, Vol. 30 of Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1997."},{"key":"5142637_CR6","series-title":"LNCS","first-page":"250","volume-title":"IFL'97\u2014Intl. Workshop on the Implementation of Functional Languages 1997","author":"S. Breitinger","year":"1997","unstructured":"Breitinger, S., Klusik, U., Loogen, R., Ortega, Y., and Pe\u00f1a, R. DREAM\u2014the DistRibuted Eden Abstract Machine. In IFL'97\u2014Intl. Workshop on the Implementation of Functional Languages 1997. Vol. 1467 of LNCS, St. Andrews, Scotland, 1997, pp. 250\u2013269."},{"key":"5142637_CR7","first-page":"120","volume-title":"HIPS'97\u2014Workshop on High-Level Parallel Programming Models","author":"S. Breitinger","year":"1997","unstructured":"Breitinger, S., Loogen, R., Ortega, Y., and Pe\u00f1a, R. The Eden coordination model for distributed memory systems. In HIPS'97\u2014Workshop on High-Level Parallel Programming Models. Geneva, Switzerland, 1997, pp. 120\u2013124."},{"key":"5142637_CR8","unstructured":"Burge, W. Recursive Programming Techniques. Addison-Wesley, 1975."},{"issue":"8","key":"5142637_CR9","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/135226.135231","volume":"35","author":"D. Cann","year":"1992","unstructured":"Cann, D. Retire fortran? A debate rekindled. Communications of the ACM, 35(8) (1992) 81\u201389.","journal-title":"Communications of the ACM"},{"key":"5142637_CR10","series-title":"LNCS","first-page":"524","volume-title":"EuroPar'01\u2014European Conf. on Parallel Processing","author":"M. Chakravarty","year":"2001","unstructured":"Chakravarty M., Keller, G., Lechtchinsky, R., and Pfannenstiel, W. Nepal\u2014Nested data-parallelism in Haskell. In EuroPar'01\u2014European Conf. on Parallel Processing, Vol. 2150 of LNCS. Manchester, UK, Aug. 28\u201331, 2001, pp. 524\u2013534."},{"key":"5142637_CR11","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computationg","author":"M.I. Cole","year":"1989","unstructured":"Cole, M.I. Algorithmic Skeletons: Structured Management of Parallel Computationg. Research Monographs in Parallel and Distributed Computing. Cambridge, MA: The MIT Press, 1989."},{"key":"5142637_CR12","unstructured":"Cook, A. Transformation and proof in a parallelising compiler. Ph.D. thesis, Dept. of Computing and Electrical Engineering, Heriot-Watt University, 2002."},{"key":"5142637_CR13","doi-asserted-by":"crossref","unstructured":"Darlington, J., Guo, Y., and To, H. Structured parallel programming: Theory meets practice. In Research Directions in Computer Science, R. Milner and I. Wand (Eds.), Cambridge University Press, 1996a.","DOI":"10.1017\/CBO9780511605611.005"},{"key":"5142637_CR14","unstructured":"Darlington, J., Guo, Y., To, H., and Yang, J. SPF: Structured parallel fortran. In PCW'96\u2014Intl. Parallel Computing Workshop. Kawasaki, Japan, 1996b."},{"key":"5142637_CR15","doi-asserted-by":"crossref","unstructured":"Doligez, D. and Leroy, X. A concurrent, generational garbage collector for a multithreaded implementation of ML. In POPL'93\u2014Symp. on Principles of Programming Languages. Charleston, SC, Jan. 1993, pp. 113\u2013123.","DOI":"10.1145\/158511.158611"},{"key":"5142637_CR16","unstructured":"Du Bois, A., Loidl, H.-W., and Trinder, P. Thread migration in a parallel graph reducer. In IFL'02\u2014Intl. Workshop on the Implementation of Functional Languages, Vol. 2670 of LNCS. Madrid, Spain, Sept. 16\u201318, 2002."},{"key":"5142637_CR17","doi-asserted-by":"crossref","unstructured":"Flanagan, C. and Nikhil, R. pHluid: The design of a parallel functional language implementation on workstations. In ICFP'96\u2014Intl. Conf. on Functional Programming. Philadelphia, PA, May 24\u201326, 1996, pp. 169\u2013179.","DOI":"10.1145\/232627.232646"},{"issue":"7","key":"5142637_CR18","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/263764.263789","volume":"32","author":"J. Frens","year":"1997","unstructured":"Frens, J. and Wise, D. Auto-blocking matrix multiplication, or tracking BLAS3 performance from source code. PPoPP'97\u2014Symp. on Principles and Practice of Parallel Programming, 32(7) (1997) 206\u2013216.","journal-title":"PPoPP'97\u2014Symp. on Principles and Practice of Parallel Programming"},{"issue":"5","key":"5142637_CR19","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/BF01383883","volume":"17","author":"B. Goldberg","year":"1988","unstructured":"Goldberg, B. Multiprocessor execution of functional programs. Intl. J. of Parallel Programming, 17(5) (1988) 425\u2013473.","journal-title":"Intl. J. of Parallel Programming"},{"issue":"4","key":"5142637_CR20","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1145\/4472.4478","volume":"7","author":"R. Halstead","year":"1985","unstructured":"Halstead, R. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4) (1985) 106\u2013117.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5142637_CR21","doi-asserted-by":"crossref","unstructured":"Hamdan, M. A combinational framework for parallel programming using algorithmic skeletons. Ph.D. thesis, Dept. of Computing and Electrical Engineering, Heriot-Watt University, 2000.","DOI":"10.1142\/9781848160170_0064"},{"issue":"3","key":"5142637_CR22","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1017\/S0956796800001374","volume":"5","author":"J. Hammes","year":"1995","unstructured":"Hammes, J., Lubeck, O., and B\u00f6hm, W. Comparing Id and Haskell in a Monte Carlo photon transport code. J. of Functional Programming, 5(3) (1995) 283\u2013316.","journal-title":"J. of Functional Programming"},{"key":"5142637_CR23","unstructured":"Hammond, K., King, D., Loidl, H.-W., Reb\u00f3n, A., and Trinder, P. The HasPar performance evaluation suite for GPH: A parallel non-strict functional language. Technical report, 2000."},{"key":"5142637_CR24","unstructured":"Hammond, K., Loidl, H.-W., and Partridge, A. Visualising granularity in parallel programs: A graphical winnowing system for Haskell. In HPFC'95\u2014Conf. on High Performance Functional Computing. Denver, CO, April 10\u201312, 1995, pp. 208\u2013221."},{"key":"5142637_CR25","doi-asserted-by":"crossref","unstructured":"Hammond, K. and Michaelson, G. (Eds.). Research Directions in Parallel Functional Programming. Springer, 1999.","DOI":"10.1007\/978-1-4471-0841-2"},{"key":"5142637_CR26","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48515-5","volume-title":"IFL'99\u2014Intl. Workshop on the Implementation of Functional Languages","author":"K. Hammond","year":"1999","unstructured":"Hammond, K. and Reb\u00f3n, A. HaskSkel: Algorithmic skeletons for Haskell. In IFL'99\u2014Intl. Workshop on the Implementation of Functional Languages, Vol. 1868 of LNCS. Lochem, The Netherlands, Sept. 7\u201310, 1999."},{"key":"5142637_CR27","doi-asserted-by":"crossref","unstructured":"Hartel, P., Feeley, M., Alt, M., Augustsson, L., Baumann, P., Beemster, M., Chailloux, E., Flood, C., Grieskamp, W., van Groningen, J., Hammond, K., Hausman, B., Ivory, M., Jones, R., Kamperman, J., Lee, P., Leroy, X., Lins, R., Loosemore, S., R\u00f6jemo, N., Serrano, M., Talpin, J.-P., Thackray, J., Thomas, S., Walters, P., Weis, P., and Wentworth, P. Benchmarking implementations of functional languages with \u201cPseudoknot\u201d, a float-intensive benchmark. J. of Functional Programming, 6(4) 1996.","DOI":"10.1017\/S0956796800001891"},{"key":"5142637_CR28","first-page":"11","volume-title":"SFP'00\u2014Scottish Functional Programming Workshop","author":"F. Hern\u00e1ndez","year":"2000","unstructured":"Hern\u00e1ndez, F., Pe\u00f1a, R., and Rubio, F. From GranSim to Paradise. In SFP'00\u2014Scottish Functional Programming Workshop, Vol. 2 of Trends in Functional Programming. St. Andrews, Scotland, Jul 26\u201328, 2000, pp. 11\u201319."},{"key":"5142637_CR29","unstructured":"Herrmann, C. The skeleton-based parallelization of divide-and-conquer recursions. Ph.D. thesis, University of Passau, 2000."},{"issue":"4","key":"5142637_CR30","first-page":"258","volume":"7","author":"M. Hofmann","year":"2000","unstructured":"Hofmann, M. A type system for bounded space and functional in-place update. Nordic Journal of Computing, 7(4) (2000) 258\u2013289.","journal-title":"Nordic Journal of Computing"},{"key":"5142637_CR31","series-title":"LNCS","first-page":"762","volume-title":"EuroPar'00\u2014European Conf. on Parallel Processing","author":"J. Holmerin","year":"2000","unstructured":"Holmerin, J. and Lisper, B. Development of parallel algorithms in data field Haskell. In EuroPar'00\u2014European Conf. on Parallel Processing, Vol. 1900 of LNCS. Munich, Germany, Aug. 29\u2013Sept. 1, 2000, pp. 762\u2013766."},{"issue":"8","key":"5142637_CR32","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/MC.1986.1663309","volume":"19","author":"P. Hudak","year":"1986","unstructured":"Hudak, P. Para-functional programming. IEEE Computer, 19(8) (1986) 60\u201370.","journal-title":"IEEE Computer"},{"issue":"2","key":"5142637_CR33","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"R. Hughes","year":"1989","unstructured":"Hughes, R. Why functional programming matters. The Computer Journal, 32(2) (1989) 98\u2013107.","journal-title":"The Computer Journal"},{"key":"5142637_CR34","unstructured":"Impala: 2001, Impala\u2014(IMplicitly PArallel LAnguage Application Suite). <URL: http:\/\/www.csg. lcs.mit.edu\/impala\/>."},{"key":"5142637_CR35","first-page":"595","volume":"7","author":"A. Karatsuba","year":"1962","unstructured":"Karatsuba, A. and Ofman, Y. Multiplication of multi-digit numbers on automata. Soviet. Phys. Dokl., (7) (1962) 595\u2013596.","journal-title":"Soviet. Phys. Dokl."},{"key":"5142637_CR36","unstructured":"Kelly, P. Functional Programming for Loosely-Coupled Multiprocessors. Research Monographs in Parallel and Distributed Computing. MIT Press, 1989."},{"key":"5142637_CR37","unstructured":"Kesseler, M. The implementation of functional languages on parallel machines with distributed memory. Ph.D. thesis, Univ. of Nijmegen, 1996."},{"key":"5142637_CR38","doi-asserted-by":"crossref","unstructured":"King, D., Hall, J., and Trinder, P. A strategic profiler for glasgow parallel Haskell. In IFL'98\u2014Intl. Workshop on the Implementation of Functional Languages, Vol. 1595 of LNCS. London, UK, Sept. 9\u201311, 1998, pp. 88\u2013102.","DOI":"10.1007\/3-540-48515-5_6"},{"issue":"4","key":"5142637_CR39","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1093\/comjnl\/34.4.290","volume":"34","author":"H. Kingdon","year":"1991","unstructured":"Kingdon, H., Lester, D., and Burn, G. The HDG-machine: A highly distributed graph-reducer for a transputer network. Computer Journal, 34(4) (1991) 290\u2013301.","journal-title":"Computer Journal"},{"key":"5142637_CR40","doi-asserted-by":"crossref","unstructured":"Klusik, U., Loogen, R., Priebe, S., and Rubio, F. Implementation skeletons in Eden\u2014Low-effort parallel programming. In IFL'00\u2014Intl. Workshop on the Implementation of Functional Languages, Vol. 2011 of LNCS. Aachen, Germany, Sept. 4\u20137, 2000, pp. 71\u201388.","DOI":"10.1007\/3-540-45361-X_5"},{"key":"5142637_CR41","unstructured":"Klusik, U., Pe\u00f1a, R., and Rubio, F. Replicated workers in Eden. In CMPP'00\u2014Constructive Methods for Parallel Programming. Ponte di Lima, Portugal. Nova Science Books, 2001."},{"key":"5142637_CR42","unstructured":"LANL: 2001, Sisal Performance Data. <URL: http:\/\/www.llnl.gov\/sisal\/PerformanceData. html>."},{"key":"5142637_CR43","doi-asserted-by":"crossref","unstructured":"Lauer, M. Computing by homomorphic images. In Computer Algebra\u2014Symbolic and Algebraic Computation, B. Buchberger, G.E. Collins, R. Loos, and R. Albrecht (Eds.), Springer, 1982, pp. 139\u2013168.","DOI":"10.1007\/978-3-7091-3406-1_10"},{"key":"5142637_CR44","unstructured":"Lester, B. The Art of Parallel Programming. Prentice-Hall, 1993."},{"key":"5142637_CR45","doi-asserted-by":"crossref","unstructured":"Lipson, J.D. Chinese remainder and interpolation algorithms. In SYMSAM'71\u2014Symp. on Symbolic and Algebraic Manipulation, 1971, pp. 372\u2013391.","DOI":"10.1145\/800204.806309"},{"key":"5142637_CR46","unstructured":"Loidl, H.-W. LinSolv: A case study in strategic parallelism. In Glasgow Workshop on Functional Programming. Ullapool, Scotland, Sept. 15\u201317, 1997."},{"key":"5142637_CR47","unstructured":"Loidl, H.-W. Granularity in large-scale parallel functional programming. Ph.D. thesis, Dept. of Computing Science, Univ. of Glasgow, 1998."},{"key":"5142637_CR48","first-page":"63","volume":"3","author":"H.-W. Loidl","year":"2001","unstructured":"Loidl, H.-W. Load balancing in a parallel graph reducer. In SFP'01\u2014Scottish Functional Programming Workshop, Vol. 3 of Trends in Functional Programming. Stirling, Scotland, Aug. 22\u201324, 2001, pp. 63\u201374.","journal-title":"SFP'01\u2014Scottish Functional Programming Workshop"},{"key":"5142637_CR49","unstructured":"Loidl, H.-W. The virtual shared memory performance of a parallel graph reducer. In CCGrid\/DSM 2002\u2014Intl. Symp. on Cluster Computing and the Grid. Berlin, Germany, May 21\u201324, 2002, pp. 311\u2013318."},{"key":"5142637_CR50","series-title":"LNCS","first-page":"198","volume-title":"IFL'97\u2014Intl. Workshop on the Implementation of Functional Languages 1997","author":"H.-W. Loidl","year":"1997","unstructured":"Loidl, H.-W., Morgan, R., Trinder, P.W., Poria, S., Cooper, C., Peyton Jones, S.L., and Garigliano, R. Parallelising a large functional program rr: Keeping LOLITA busy. In IFL'97\u2014Intl. Workshop on the Implementation of Functional Languages 1997, Vol. 1467 of LNCS. St Andrews, Scotland, Sept. 10\u201312, 1997, pp. 198\u2013213."},{"key":"5142637_CR51","volume-title":"PPDP'03\u2014Intl. Conf. on Principles and Practice of Declarative Programming","author":"H.-W. Loidl","year":"2003","unstructured":"Loidl, H.-W., Scaife, N., Michaelson, G., and Trinder, P. Implementation designs for parallel functional languages. In: PPDP'03\u2014Intl. Conf. on Principles and Practice of Declarative Programming. Uppsala, Sweden, Aug 27\u201329, 2003, Submitted."},{"issue":"4","key":"5142637_CR52","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1142\/S0129626401000737","volume":"11","author":"H.-W. Loidl","year":"2001","unstructured":"Loidl, H.-W., Trinder, P., and Butz, C. Tuning task granularity and data locality of data parallel GpH programs. Parallel Processing Letters, 11(4) (2001) 471\u2013486.","journal-title":"Parallel Processing Letters"},{"issue":"12","key":"5142637_CR53","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1002\/(SICI)1096-9128(199910)11:12<701::AID-CPE443>3.0.CO;2-P","volume":"11","author":"H.-W. Loidl","year":"1999","unstructured":"Loidl, H.-W., Trinder, P., Hammond, K., Junaidu, S., Morgan, R., and Peyton Jones, S. Engineering parallel symbolic programs in GPH. Concurrency\u2014Practice and Experience, 11(12) (1999) 701\u2013752.","journal-title":"Concurrency\u2014Practice and Experience"},{"key":"5142637_CR54","doi-asserted-by":"crossref","unstructured":"Loogen, R. Programming language constructs. In Research Directions in Parallel Functional Programming. Springer, 1999, pp. 63\u201391.","DOI":"10.1007\/978-1-4471-0841-2_3"},{"key":"5142637_CR55","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1080\/01495730108935271","volume":"16","author":"G. Michaelson","year":"2001","unstructured":"Michaelson, G., Scaife, N., Bristow, P., and King, P. Nested algorithmic skeletons from higher order functions. Parallel Algorithms and Applications, 16 (2001) 181\u2013206. Special Issue on High Level Models and Languages for Parallel Processing.","journal-title":"Parallel Algorithms and Applications"},{"key":"5142637_CR56","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., and MacQueen, D. The Definition of Standard ML (Revised). Cambridge, MA: MIT Press, 1997."},{"key":"5142637_CR57","unstructured":"Mirani, R. High-level abstractions for parallel functional programming. Ph.D. thesis, Yale University, 1996."},{"key":"5142637_CR58","doi-asserted-by":"crossref","unstructured":"Mirani, R. and Hudak, P. First-class schedules and virtual maps. In FPCA'95\u2014Conf. on Functional Programming Languages and Computer Architecture. La Jolla, CA, June 26\u201328, 1995, pp. 78\u201385.","DOI":"10.1145\/224164.224185"},{"issue":"3","key":"5142637_CR59","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1109\/71.86103","volume":"2","author":"E. Mohr","year":"1991","unstructured":"Mohr, E., Kranz, D., and Halstead Jr., R. Lazy task creation: A technique for increasing the granularity of parallel programs. IEEE Transactions on Parallel and Distributed Systems, 2(3) (1991) 264\u2013280.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"5142637_CR60","unstructured":"MPI: MPI-2: extensions to the message-passing interface. Technical report, Univ. of Tennessee, Knoxville, 1997."},{"key":"5142637_CR61","unstructured":"Nikhil, R. and Arvind. Implicit Parallel Programming in pH. Morgan Kaufmann Publishers, 2001."},{"key":"5142637_CR62","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-54152-7_66","volume-title":"PARLE'91\u2014Parallel Architectures and Languages Europe","author":"E. N\u00f6cker","year":"1991","unstructured":"N\u00f6cker, E., Smetsers, J., van Eekelen, M., and Plasmeijer, M. Concurrent clean. In PARLE'91\u2014Parallel Architectures and Languages Europe, Vol. 505 of LNCS. Veldhoven, The Netherlands, 1991, pp. 202\u2013219."},{"key":"5142637_CR63","doi-asserted-by":"crossref","unstructured":"Pelagatti, S. Task and data parallelism in P3L. In Patterns and Skeletons forParallel and Distributed Computing F. Rabhi and S. Gorlatch (Eds.), Springer, 2002.","DOI":"10.1007\/978-1-4471-0097-3_6"},{"key":"5142637_CR64","first-page":"187","volume-title":"PPDP'01\u2014Intl. Conf. on Principles and Practice of Declarative Programming","author":"R. Pe\u00f1a","year":"2001","unstructured":"Pe\u00f1a, R. and Rubio, F. Parallel functional programming at two levels of abstraction. In PPDP'01\u2014Intl. Conf. on Principles and Practice of Declarative Programming. Firenze, Italy, Sept. 5\u20137, 2001, pp. 187\u2013198."},{"key":"5142637_CR65","doi-asserted-by":"crossref","unstructured":"Pepper, P. Deductive derivation of parallel programs. In Parallel Algorithm Derivation and Program Transformation. Kluwer Academic Publishers, 1993, pp. 1\u201353.","DOI":"10.1007\/978-0-585-27330-3_1"},{"key":"5142637_CR66","first-page":"249","volume-title":"Joint Framework for Information Technology Technical Conference","author":"S. Peyton Jones","year":"1993","unstructured":"Peyton Jones, S., Hall, C., Hammond, K., Partain, W., and Wadler, P. The glasgow Haskell compiler: A technical overview. In Joint Framework for Information Technology Technical Conference. Keele, UK, 1993, pp. 249\u2013257."},{"key":"5142637_CR67","unstructured":"Peyton Jones, S., Hughes, J., Augustsson, L., Barton, D., Boutel, B., Burton, W., Fasel, J., Hammond, K., Hinze, R., Hudak, P., Johnsson, T., Jones, M., Launchbury, J., Meijer, E., Peterson, J., Reid, A., Runciman, C., and Wadler, P. Haskell 98: A non-strict, purely functional language, 1999. Available at <URL: http:\/\/www.haskell.org\/>."},{"key":"5142637_CR68","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., van Eekelen, M., Pil, M., and Serrarens, P. Parallel and distributed programming in concurrent clean. In Research Directions in Parallel Functional Programming. Springer, 1999, pp. 323\u2013338.","DOI":"10.1007\/978-1-4471-0841-2_15"},{"key":"5142637_CR69","unstructured":"Press, W., Teukolsky, S., Vetterling, W., and Flannery, B. Numerical Recipes in C: The Art of Scientific Computing. Chapt. LU Decomposition and Its Applications. Cambridge University Press, 2nd edition, 1992."},{"key":"5142637_CR70","unstructured":"PVM: Parallel virtual machine reference manual, version 3.2. Univ. of Tennessee, 1993."},{"key":"5142637_CR71","unstructured":"Quinn, M. Parallel Computing. McGraw-Hill, 1994."},{"key":"5142637_CR72","doi-asserted-by":"crossref","unstructured":"Ridge, D., Becker, D., Merkey, P., and Sterling, T. Beowulf: Harnessing the power of parallelism in a pile-of-PCs. In IEEE Aerospace Conference, 1997, pp. 79\u201391.","DOI":"10.1109\/AERO.1997.577619"},{"key":"5142637_CR73","volume-title":"Programaci\u00f3n Funcional Paralela Eficiente en Eden","author":"F. Rubio","year":"2001","unstructured":"Rubio, F. Programaci\u00f3n Funcional Paralela Eficiente en Eden. Ph.D. thesis, Universidad Complutense de Madrid, Spain, 2001, in Spanish."},{"key":"5142637_CR74","doi-asserted-by":"crossref","unstructured":"Sansom, P. and Peyton Jones, S. Generational garbage collection for Haskell, In FPCA'93\u2014Functional Programming Languages and Computer Architecture. Copenhagen, Denmark, June 9\u201311, 1993, pp. 106\u2013116.","DOI":"10.1145\/165180.165195"},{"key":"5142637_CR75","doi-asserted-by":"crossref","unstructured":"Sansom, P. and Peyton Jones, S. Time and space profiling for non-strict, higher-order functional languages. In POPL'95\u2014Symp. on Principles of Programming Languages. San Francisco, CA, Jan. 23\u201325, 1995, pp. 355\u2013366.","DOI":"10.1145\/199448.199531"},{"key":"5142637_CR76","doi-asserted-by":"crossref","unstructured":"Scaife, N., Michaelson, G., and Horiguchi, S. Comparative cross-platform performance results from a parallelizing SML compiler. In IFL'01\u2014Intl. Workshop on the Implementation of Functional Languages, Vol. 2312 of LNCS. Stockholm, Sweden, Sept. 24\u201326, 2001, pp. 138\u2013154.","DOI":"10.1007\/3-540-46028-4_9"},{"issue":"4","key":"5142637_CR77","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1142\/S0129626401000671","volume":"11","author":"J. Serot","year":"2001","unstructured":"Serot, J. Tagged-token data-flow for skeletons. Parallel Processing Letters\n11(4) (2001) 377\u2013392.","journal-title":"Parallel Processing Letters"},{"key":"5142637_CR78","unstructured":"Taylor, F. Parallel functional programming by partitioning. Ph.D. thesis, Univ. of London, 1996."},{"issue":"1","key":"5142637_CR79","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P. Trinder","year":"1998","unstructured":"Trinder, P., Hammond, K., Loidl, H.-W., and Peyton Jones, S. Algorithm + strategy = parallelism. J. of Functional Programming\n8(1) (1998) 23\u201360.","journal-title":"J. of Functional Programming"},{"key":"5142637_CR80","doi-asserted-by":"crossref","unstructured":"Trinder, P., Hammond, K., Mattson Jr., J., Partridge, A., and Peyton Jones, S. GUM: A portable parallel implementation of Haskell. In PLDI'96\u2014Programming Language Design and Implementation. Philadephia, PA, May 21\u201324, 1996, pp. 78\u201388.","DOI":"10.1145\/231379.231392"},{"issue":"4\/5","key":"5142637_CR81","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1017\/S0956796802004343","volume":"12","author":"P. Trinder","year":"2002","unstructured":"Trinder, P., Loidl, H.-W., and Pointon, R. Parallel and distributed Haskells. J. of Functional Programming\n12(4\/5) (2002) 469\u2013510.","journal-title":"J. of Functional Programming"},{"key":"5142637_CR82","unstructured":"WWW-GPH. Glasgow Parallel Haskell, 2001. WWW page. <URL: http:\/\/www.macs.hw.ac.uk\/~dsg\/gph\/>."}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025641323400.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025641323400\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025641323400.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:45:22Z","timestamp":1751982322000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025641323400"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":82,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["5142637"],"URL":"https:\/\/doi.org\/10.1023\/a:1025641323400","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"type":"print","value":"1388-3690"},{"type":"electronic","value":"1573-0557"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}