{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T18:22:17Z","timestamp":1746728537493,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":119,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540628286"},{"type":"electronic","value":"9783540686996"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62828-2_134","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T19:22:49Z","timestamp":1270495369000},"page":"429-457","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Functional programming and parallel processing"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Dueire Lins","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,5]]},"reference":[{"key":"26_CR1","volume-title":"PhD thesis","author":"K.A.M. Ali","year":"1984","unstructured":"K.A.M.Ali. Object-Oriented Storage Management and Garbage Collection in Distributed Processing Systems. PhD thesis, Royal Institute of Technology, Stockholm, December 1984."},{"key":"26_CR2","first-page":"51","volume":"258","author":"P. Anderson","year":"1987","unstructured":"P. Anderson, C. L. Hankin, P. R. J. Kelly, P. E. Osmon, and M. J. Shute. COBWEB-2: Structured Specification of a Wafer Scale Supercomputer. In PARLE '87, pages 51\u201327. Springer-Verlag LNCS 258, 1987.","journal-title":"Springer-Verlag LNCS"},{"issue":"7","key":"26_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/960116.53992","volume":"23","author":"A.W. Appel","year":"1988","unstructured":"A.W. Appel, J.R. Ellis, and K.Li. Real-time concurrent collection on stock multiprocessors. ACM SIGPLAN Notices, 23(7):11\u201320, 1988.","journal-title":"ACM SIGPLAN Notices"},{"key":"26_CR4","unstructured":"Arvind, V. Kathail, and K. K. Pingali. A Dataflow Architecture with Tagged Tokens. Technical Report LCS Memo TM-174, MIT, 1980."},{"key":"26_CR5","unstructured":"Arvind and R. S. Nikhil. Can Dataflow Subsume von Neumann Computing? Technical Report CSG Memo 292, MIT, November 1988."},{"issue":"8","key":"26_CR6","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"J.Backus. Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. Comm. ACM 21 (8):613\u2013641, August 1978.","journal-title":"Comm. ACM"},{"key":"26_CR7","unstructured":"H.P. Barendregt The Lambda Calculus its Syntax and Semantics Studies in Logic and the Foundation of Mathematics North-Holland (1984-2nd. ed.)"},{"key":"26_CR8","first-page":"14","volume-title":"On-the-fly garbage collection: new algorithms inspired by program proofs","author":"M. Ben-Ari","year":"1982","unstructured":"M. Ben-Ari. On-the-fly garbage collection: new algorithms inspired by program proofs. In M. Nielsen and E. M. Schmidt, editors, Automata, languages and programming. Ninth colloquium (Aarhus, Denmark), pages 14\u201322, New Yokr, July 12\u201316 1982. Springer-Verlag."},{"issue":"3","key":"26_CR9","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/579.587","volume":"6","author":"M. Ben-Ari","year":"1984","unstructured":"M.Ben-Ari. Algorithms for on-the-fly garbage collection. ACM Transactions on Programming Languages and Systems, 6(3):333\u2013344, July 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR10","unstructured":"A. D. Ben-Dyke. The History of Parallel Functional Programming. FTPable from ftp.cs.bham.ac.uk, August 1994."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"K. J. Berkling. Reduction Languages for Reduction Machines. In 2nd. Annual ACM Symp. on Comp. Arch., pages 133\u2013140. ACM\/IEEE 75CH0916-7C, 1975.","DOI":"10.1145\/642089.642112"},{"key":"26_CR12","first-page":"176","volume":"259","author":"D. I. Bevan","year":"1987","unstructured":"D. I. Bevan. Distributed Garbage Collection using Reference Counting. In PARLE '87, pages 176\u2013187. Springer Verlag LNCS 259, 1987.","journal-title":"Springer Verlag LNCS"},{"key":"26_CR13","unstructured":"G. E. Blelloch. NESL: A Nested Data-Parallel Language (Version 2.6). Technical Report CMUCS-93-129, School of Computer Science, Carnegie Mellon University, April 1993."},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"G. E. Blelloch, S. Chatterjee, J. C. Hardwick, J.Sipelstein, and M. Zagha. Implementation of a Portable Nested Data-Parallel Language. In Principles and Practices of Parallel Programming, pages 102\u2013111, 1993.","DOI":"10.1145\/173284.155343"},{"key":"26_CR15","unstructured":"T. A. Bratvold. A Skeleton-Based Parallelising Compiler for ML. In (lO4), pages 23\u201334."},{"key":"26_CR16","unstructured":"W. H. Burge. Recursive Programming Techniques. Addison-Wesley, 1975."},{"key":"26_CR17","unstructured":"G. L. Burn. Lazy Functional Languages. Abstract Interpretation and Compilation. Research Monographs in Parallel and Distributed Computing. Pitman, 1991."},{"key":"26_CR18","first-page":"446","volume":"274","author":"G. L. Burn","year":"1987","unstructured":"G. L. Burn. Evaluation Transformers \u2014 A Model for the Parallel Evaluation of Functional Languages (Extended Abstract). In FPCA '87, pages 446\u2013470. Springer-Verlag LNCS 274, 1987.","journal-title":"Springer-Verlag LNCS"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"G.L.Burns, S.L.Peyton Jones and J.D.Robson. The spineless g-machine. In Proc. ACM Conference on Lisp and Functional Programming, pages 244\u2013258, Snowbird, USA, 1988.","DOI":"10.1145\/62678.62717"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"R. M. Burstall, D. B. MacQueen, and D. T, Sannella. Hope. Technical Report CSR-62-80, Edinburgh University, 1980.","DOI":"10.1145\/800087.802799"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"F. W. Burton and M. R. Sleep. Executing functional programs on a virtual tree of processors. In FPCA '81, pages 187\u2013194, 1981.","DOI":"10.1145\/800223.806778"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Warren Burton. Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs, ACM TOPLAS, 6(2),1984.20","DOI":"10.1145\/2993.357241"},{"key":"26_CR23","unstructured":"L.Cardelli. The functional abstract machine. Polymorphism, 1, 1983."},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"A.Church, A set of postulates for the foundation of logic, Annals of Math. (2)33, pp.346\u2013366.","DOI":"10.2307\/1968337"},{"key":"26_CR25","unstructured":"M. I. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. Research Monographs in Parallel and Distributed Computing. Pitman, 1989."},{"issue":"12","key":"26_CR26","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1145\/367487.367501","volume":"3","author":"G.E. Collins","year":"1960","unstructured":"G.E. Collins. A method for overlapping and erasure of lists. Communications of the ACM, 3(12):655\u2013657, Dec. 1960.","journal-title":"Communications of the ACM"},{"key":"26_CR27","doi-asserted-by":"crossref","unstructured":"G.Cousineau P-L.Curien and M.Mauny. The categorical abstract machine. In J-P.Jouannaud, editor, Functional Programming Languages and Computer Architecture. SLNCS 201, 1985.","DOI":"10.1007\/3-540-15975-4_29"},{"key":"26_CR28","doi-asserted-by":"crossref","unstructured":"S. Cox, H. Glaser, and M. J. Reeve. Implementing Functional Languages ou the Transputer. In [34], pages 287\u2013295, 1989","DOI":"10.1007\/978-1-4471-3166-3_19"},{"key":"26_CR29","first-page":"497","volume":"605","author":"S. Cox","year":"1992","unstructured":"S. Cox, S.-Y. Huang, P. H. J. Kelly, J. Liu, and F. Taylor. Program Transformation for Static Process Network. In PARLE '92, pages 497\u2013512. Springer-Verlag LNCS 605, 1992.","journal-title":"Springer-Verlag LNCS"},{"key":"26_CR30","doi-asserted-by":"crossref","unstructured":"D. Culler and Arvind. Resource Requirements of Dataflow Programs. In 15th. Annual ACM Symp. on Comp. Arch., 1988.","DOI":"10.1145\/633625.52417"},{"key":"26_CR31","unstructured":"P-L.Curien. Categorical Combinators, Sequential Algorithms and Functional Programming. Research Notes in Theoretical Computer Science. Pitman Publishing Ltd., 1986."},{"key":"26_CR32","first-page":"146","volume":"694","author":"J. Darlington","year":"1993","unstructured":"J. Darlington, A. J. Field, P. G. Harrison, P. H. J. Kelly, D. W. N. Sharp, Q. Wu, and R. L. While. Parallel Programming using Skeleton Functions. In PARLE '93, pages 146\u2013160. Springer-Verlag LNCS 694, 1993.","journal-title":"Springer-Verlag LNCS"},{"key":"26_CR33","doi-asserted-by":"crossref","unstructured":"J. Darlington and M. J. Reeve. ALICE: A Multiple-Processor Reduction Machine for the Parallel Evaluation of Applicative Languages. In FPCA '81, pages 65\u201376, 1981.","DOI":"10.1145\/800223.806764"},{"key":"26_CR34","unstructured":"M. K. Davis and R, J. M. Hughes, editors. Glasgow Workshop on Functional Programming. Springer-Verlag WICS, 1989."},{"key":"26_CR35","doi-asserted-by":"crossref","unstructured":"K. Didrich, A. Fett, C. Gerke, W. Grieskamp, and P. Pepper. OPAL: Design and Implementation of an Algebraic Programming Language, In J. Gutknecht, editor, Programming Languages and System Architectures, Zurich, Switzerland, pages 228\u2013244. Springer-Verlag LNCS 782, March 1994.","DOI":"10.1007\/3-540-57840-4_34"},{"key":"26_CR36","unstructured":"E.W. Dijkstra. Notes on a real time garbage collection system. From a conversation with D.E.Knuth (private collection of D.E.Knuth), 1975."},{"key":"26_CR37","volume-title":"Lecture Notes in Computer Science, No. 46","author":"E.W. Dijkstra","year":"1976","unstructured":"E.W. Dijkstra, L.Lamport, A.J. Martin, C.S. Scholten, and E.F.M.Steffens. On-the-fly garbage collection: An exercise in cooperation. In Lecture Notes in Computer Science, No. 46. Springer-Verlag, New York, 1976."},{"issue":"11","key":"26_CR38","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1145\/359642.359655","volume":"21","author":"E.W. Dijkstra","year":"1978","unstructured":"E.W. Dijkstra, L.Lamport, A.J. Martin, C.S. Scholten, and E.F.M.Steffens. On-the-fly garbage collection: An exercise in cooperation. Communications of the ACM, 21(11):965\u2013975, November 1978.","journal-title":"Communications of the ACM"},{"key":"26_CR39","unstructured":"J. Darlington et al. An Introduction to the FLAGSHIP Programing Environment. In CONPAR '88, Manchester. Cambridge University Press, 1988."},{"key":"26_CR40","doi-asserted-by":"crossref","unstructured":"J.Fairbairn and S.Wray. TIM: A simple, lazy abstract machine to execute supercombinators. In Proceedings of Third International Conference on Fuctinal Programming and Computer Architecture, pages 34\u201345. LNCS 274, Springer Verlag, 1987.","DOI":"10.1007\/3-540-18317-5_3"},{"key":"26_CR41","unstructured":"P. Hartel et al. Pseudoknot: a Float-Intensive Benchmark for Functional Compilers. to appear in J. of Functional Programming, 1996."},{"issue":"12","key":"26_CR42","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1145\/359897.359903","volume":"20","author":"D. Gries","year":"1977","unstructured":"D.Gries. An exercise in proving parallel programs correct. Communications of the ACM, 20(12):921\u2013930, Dec. 1977.","journal-title":"Communications of the ACM"},{"key":"26_CR43","doi-asserted-by":"crossref","unstructured":"B. Goldberg and P. Hudak. Alfalfa: Distributed Graph Reduction on a Hypercube Multiprocessor. In Workshop on Graph Reduction, Santa FE, New Mexico, pages 94\u2013113. Springer-Verlag LNCS 279, September 1986.","DOI":"10.1007\/3-540-18420-1_51"},{"issue":"5","key":"26_CR44","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/BF01383883","volume":"17","author":"B. F. Goldberg","year":"1988","unstructured":"B. F. Goldberg. Multiprocessor Execution of Functional Programs. Intl. Journal of Parallel Programming, 17(5):425\u2013473,1988.","journal-title":"Intl. Journal of Parallel Programming"},{"key":"26_CR45","unstructured":"R. G. Goldsmith, D. L. McBurney, and M. R. Sleep. Parallel Execution of Concurrent Clean on ZAPP. In [104], chapter 21."},{"issue":"1","key":"26_CR46","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/2465.2468","volume":"28","author":"J. R. Gurd","year":"1985","unstructured":"J. R. Gurd, C. C., Kirkham, and I. Watson. The Manchester Prototype Dataflow Computer. Comm. ACM, 28(1):34\u201352, January 1985.","journal-title":"Comm. ACM"},{"key":"26_CR47","unstructured":"J. R. Gurd, C.C. Kirkham, and J. R. W. Glauert. A Multilayered Data Flow Computer Architecture. Technical report, Manchester University, 1978."},{"key":"26_CR48","unstructured":"K.Hammond. Parallel Functional Programming: An Introduction. FTPable from ftp.dcs.glasgow.ac.uk, August 1994."},{"key":"26_CR49","unstructured":"K. Hammond and J. T. O'Donnell, editors. Glasgow Workshop on Functional Programming. Springer-Verlag WICS, 1993."},{"key":"26_CR50","doi-asserted-by":"crossref","unstructured":"Chris L. Hankin, P. E. Osmon, and M. J. Shute. COBWEB \u2014 a combinator reduction architecture. In FPCA '85, pages 99\u2013112, September 1985.","DOI":"10.1007\/3-540-15975-4_32"},{"key":"26_CR51","first-page":"181","volume":"279","author":"P. G. Harrison","year":"1986","unstructured":"P. G. Harrison and M. J. Reeve. The Parallel Graph Reduction Machine, Alice. In Work-shop on Graph Reduction, Santa FE, New Mexico, pages 181\u2013202. Springer-Verlag LNCS 279, September 1986.","journal-title":"Springer-Verlag LNCS"},{"key":"26_CR52","doi-asserted-by":"crossref","unstructured":"J. M. D. Hill. The AIM is Laziness in a Data Parallel Language, In [49], pages 83\u201399.","DOI":"10.1007\/978-1-4471-3236-3_7"},{"key":"26_CR53","doi-asserted-by":"crossref","unstructured":"P. Hudak. Para-Functional Programming in Haskell. In Boleslaw K. B. K. Szymanski, editor, Parallel Functional Languages and Compilers, Fontier Series, chapter 5, pages 159\u2013196. ACM Press, 1991.","DOI":"10.1145\/107214.129257"},{"key":"26_CR54","doi-asserted-by":"crossref","unstructured":"P. Hudak and B. Goldberg. Serial Combinators: \u201dOptimal\u201d Grains of Parallelism. In FPCA '85, pages 382\u2013399, September 1985.","DOI":"10.1007\/3-540-15975-4_49"},{"key":"26_CR55","doi-asserted-by":"crossref","unstructured":"P. Hudak and R. M. Keller. Garbage Collection and Task Deletion in Distributed Applicative Systems. In ACM Symp. on Lisp and Functional Programming, pages 168\u2013178, 1982.","DOI":"10.1145\/800068.802147"},{"key":"26_CR56","doi-asserted-by":"crossref","unstructured":"P. Hudak, S. L. Peyton Jones, and P. L. Wadler. Report on the Programming Language Haskell: a Non-Strict, Purely Functional Language. Special Issue of SIGPLAN Notices, 16(5), May 1992.","DOI":"10.1145\/130697.130699"},{"key":"26_CR57","doi-asserted-by":"crossref","unstructured":"P. Hudak and L. Smith. Para-functional Programming: A Paradigm for Programming Multiprocessor Systems. In ACM POPL, pages 243\u2013254, January 1986.","DOI":"10.1145\/512644.512667"},{"key":"26_CR58","doi-asserted-by":"crossref","unstructured":"R. J. M. Hughes. A Distributed Garbage Collection Algorithm. In FPCA '85, pages 256\u2013272, September 1985.","DOI":"10.1007\/3-540-15975-4_41"},{"key":"26_CR59","volume-title":"PhD thesis","author":"T. Johnsson","year":"1987","unstructured":"T.Johnsson. Compiling Lazy Functional Languages. PhD thesis, Chalmers Tekniska H\u00f6gskola, G\u00f6teborg, Sweend, January 1987."},{"key":"26_CR60","unstructured":"R.E.Jones and R.D.Lins. Garbage Collection: Algorithms for Automatic Dynamic Memory Management, John Wiley and Sons, 1996, ISBN 0 471 94148 4."},{"issue":"1","key":"26_CR61","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0020-0190(86)90127-4","volume":"23","author":"K. Kakuta","year":"1986","unstructured":"K.Kakuta, H.Nakamura, and S.Iida. Parallel reference counting algorithm. Information Processing Letters, 23(1):33\u201337, 1986.","journal-title":"Information Processing Letters"},{"key":"26_CR62","unstructured":"R. M, Keller, F.C.H. Lin, and J. Tanaka, Rediflow multiprocessing. In IEEE Compcon, pages 410\u2013417, February 1984."},{"key":"26_CR63","unstructured":"P. Kelly. Functional Programming for Looselycoupled Multiprocessors. Research Monographs in Parallel and Distributed Computing. Pitman, 1989."},{"key":"26_CR64","doi-asserted-by":"crossref","unstructured":"J. M. Kewley and K. Glynn. Evaluation Annotations for Hope+. In [34], pages 329\u2013337.","DOI":"10.1007\/978-1-4471-3166-3_22"},{"key":"26_CR65","volume-title":"volume I: Fundamental algorithms","author":"D.E. Knuth","year":"1973","unstructured":"D.E. Knuth. The art of computer programming, volume I: Fundamental algorithms, chapter 2. Addison-Wesley, Reading, Ma., 2nd edition, 1973.","edition":"2nd edition"},{"key":"26_CR66","doi-asserted-by":"crossref","unstructured":"H.T. Kung and S.W. Song. An efficient parallel garbage collection system and its correctness proof. In IEEE Symposium on Foundations of Computer Science, pages 120\u2013131. IEEE, 1977.","DOI":"10.1109\/SFCS.1977.5"},{"key":"26_CR67","unstructured":"J.Lambek. From lambda-calculus to cartesian closed categories. In J.P.Seldin and J.R.Hindley, editors, in To H.B.Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism. Academic Press, 1980."},{"key":"26_CR68","unstructured":"L.Lamport. Garbage collection with multiple processes: An exercise in parallelism. In Proceedings of the 1976 International Conference on Parallel Processing, pages 50\u201354, 1976."},{"issue":"4","key":"26_CR69","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"P.J.Landin. The mechanical evaluation of expressions, Computer Journal, 6(4):308\u2013320, 1964.","journal-title":"Computer Journal"},{"key":"26_CR70","doi-asserted-by":"crossref","unstructured":"R.D.Lins. Categorical multi-combinators. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, pages 60\u201379. Springer-Verlag, September 1987. LNCS 274.","DOI":"10.1007\/3-540-18317-5_5"},{"key":"26_CR71","first-page":"31","volume":"34","author":"R.D. Lins","year":"1991","unstructured":"R.D. Lins. A shared memory architecture for parallel cyclic reference counting. Microprocessing and Microprogramming, 34:31\u201335, September 1991.","journal-title":"Microprocessing and Microprogramming"},{"key":"26_CR72","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1016\/0165-6074(92)90369-I","volume":"35","author":"R.D. Lins","year":"1992","unstructured":"R.D. Lins. A multi-processor shared memory architecture for parallel cyclic reference counting. Microprocessing and Microprogramming, 35:563\u2013568, September 1992.","journal-title":"Microprocessing and Microprogramming"},{"key":"26_CR73","doi-asserted-by":"crossref","unstructured":"R.D.Lins, G.G.Cruz Neto & R.F.Lima. Implementing and Optimising \u0393CMC, Proceedings of Euromicro'94, pp.353\u2013361, IEEE Computer Society Press, Sep. 1994.","DOI":"10.1109\/EURMIC.1994.390423"},{"key":"26_CR74","unstructured":"R.D.Lins and R.E.Jones. Cyclic Weighted Reference Counting, Proceedings of WP&DP'93, K.Boyanov (editor), North-Holland, 1993."},{"key":"26_CR75","unstructured":"R.D.Lins & B.O.Lira. \u0393CMC: A Novel Way of Implementing Functional Languages, Journal of Programming Languages, 1:19\u201339, Chapmann & Hall, January 1993."},{"issue":"1","key":"26_CR76","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1017\/S0956796800000939","volume":"4","author":"R.D. Lins","year":"1994","unstructured":"R.D.Lins, S.J.Thompson and S.Peyton Jones, On the Equivalence between CM-C and TIM, Journal of Functional Programming, 4(1):47\u201363, Cambridge University Press, January\/1994.","journal-title":"Journal of Functional Programming"},{"key":"26_CR77","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0165-6074(93)90039-N","volume":"37","author":"R.D. Lins","year":"1993","unstructured":"R.D.Lins & P.G.Soares. Some Performance Figures for the G-Machine and its Optimisations. Microprocessing and Microprogramming 37(1993) 163\u2013166, North-Holland.","journal-title":"Microprocessing and Microprogramming"},{"key":"26_CR78","unstructured":"R.D.Lins & S.J.Thompson. CM-CM: A categorical multi-combinator machine. In Proceedings of XVI Latino American Conference on Informatics, Assuncion, Paraguay, September 1990."},{"issue":"8","key":"26_CR79","first-page":"1137","volume":"20","author":"R.D. Lins","year":"1990","unstructured":"R.D.Lins & S.J.Thompson. Implementing SASL using categorical multicombinators. Software \u2014 Practice and Experience, 20(8):1137\u20131165, November 1990.","journal-title":"Software \u2014 Practice and Experience"},{"key":"26_CR80","unstructured":"G. A. Magoo and D. F. Stanat. The FFP Machine. In High-Level Language Computer Architectures, pages 430\u2013468, 1989."},{"key":"26_CR81","first-page":"242","volume":"258","author":"D. L. McBurney","year":"1987","unstructured":"D. L. McBurney and M. R. Sleep. Transputer-Based Experiments with the ZAPP Architecture. In PARLE '87, pages 242\u2013259. Springer-Verlag LNCS 258, 1987.","journal-title":"Springer-Verlag LNCS"},{"key":"26_CR82","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J. McCarthy","year":"1960","unstructured":"J.McCarthy. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM, 3:184\u2013195, 1960.","journal-title":"Communications of the ACM"},{"key":"26_CR83","unstructured":"J, McGraw. SISAL: Streams and Iterations in a Single-Assignment Language: Reference Manual version 1.2. Lawrence Livermore Natl. Lab., 1985. Manual M-146, Revision 1."},{"key":"26_CR84","unstructured":"R.Milner. Standard ML proposal. The ML\/LCF\/Hope Newsletter, 1(3), January 1984."},{"key":"26_CR85","volume-title":"Logic in Computer Science","author":"E. Moggi","year":"1989","unstructured":"E.Moggi. Computational lambda calculus and monads, in Logic in Computer Science, California, IEEE Press, June 1989."},{"key":"26_CR86","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0165-6074(08)80048-8","volume":"31","author":"M.A. Musicante","year":"1991","unstructured":"M.A.Musicante & R.D.Lins. GMC: A Graph Multi-Combinator Machine. Microprocessing and Microprogramming, 31:31\u201335, North-Holland, April 1991.","journal-title":"Microprocessing and Microprogramming"},{"key":"26_CR87","unstructured":"R. S. Nikhil. Id (version 90.1) reference manual. Technical Report CSG Memo 284-2, Lab. for Computer Science, MIT, July 1991."},{"key":"26_CR88","unstructured":"R. S. Nikhil, Arvind, and J. Hicks. pH Language Proposal (Preliminary), 1st. September 1993. Electronic communication ou comp.lang.functional."},{"key":"26_CR89","doi-asserted-by":"crossref","unstructured":"R. S. Nikhil G. M. Papadopoulos, and Arvind. *T: A Multithreaded Massively Parallel Architecture. In 19th. ACM Annual Symp. on Comp. Arch., pages 156\u2013167, 1992.","DOI":"10.1145\/146628.139715"},{"key":"26_CR90","doi-asserted-by":"crossref","unstructured":"J. T. O'Donnell. Bidirectional Fold and Scan. In [49], pages 193\u2013200.","DOI":"10.1007\/978-1-4471-3236-3_16"},{"key":"26_CR91","unstructured":"G. M. Papadopoulos. Implementation of a General Purpose Dataflow Multiprocessor. PhD thesis, Laboratory for Computer Science, MIT, August 1988."},{"key":"26_CR92","volume-title":"Hope+. Technical Report IC\/FPR\/LANG\/2.5.1\/7 Issue 5","author":"N. Perry","year":"1988","unstructured":"N. Perry. Hope+. Technical Report IC\/FPR\/LANG\/2.5.1\/7 Issue 5, Imperial College, London, February 1988."},{"key":"26_CR93","doi-asserted-by":"crossref","unstructured":"S. L. Peyton Jones, C. Clack, and J. Salkid. High-Performance Parallel Graph Reduction. In PARLE '89, pages 193\u2013206, Eindhoven, The Netherlands, June 12\u201316, 1989. Springer-Verlag LNCS 365","DOI":"10.1007\/3540512845_40"},{"key":"26_CR94","first-page":"98","volume":"274","author":"S. L. Peyton Jones","year":"1987","unstructured":"S. L. Peyton Jones, C. Clack, J. Salkild, and M. Hardie. GRIP \u2014 a High-Performance Architecture for Parallel Graph Reduction. In FPCA '87, pages 98\u2013112. Springer-Verlag LNCS 274, 1987.","journal-title":"Springer-Verlag LNCS"},{"key":"26_CR95","doi-asserted-by":"crossref","unstructured":"S.L.Peyton Jones and J.Salkild. The spineless tagless g-machine. In Proc.ACM Conference on Functional Programming Languages and Computer Architecture, pages 184\u2013201, Snowbird, USA, 1989.","DOI":"10.1145\/99370.99385"},{"key":"26_CR96","doi-asserted-by":"crossref","unstructured":"S.L.Peyton Jones, A.Gordon and S.Finne. Concurrent Haskell. In Proc. of 23rd ACM Symposium on Principles of Programming Languages (POPL'96), Florida, 1996.","DOI":"10.1145\/237721.237794"},{"key":"26_CR97","unstructured":"M. J. Plasmeijer and M. C. J. D. van Eekelen, editors. Proc. 5th. Intl. Workshop on Parallel Impl. of Funct. Langs. Nijmegen, 1993."},{"issue":"4","key":"26_CR98","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/960120.801835","volume":"17","author":"F.J. Pollack","year":"1982","unstructured":"F.J. Pollack, G.W. Cox, D.W. Hammerstein, K.C. Kahn, K.K. Lai, and J.R. Rattner. Supporting Ada memory management in the iAPX-432. In Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, pages 117\u2013131. SIGPLAN Notices (ACM) 17,4, 1982.","journal-title":"SIGPLAN Notices (ACM)"},{"key":"26_CR99","unstructured":"H. Richards. An Overview of Burroughs NORMA. Technical report, Austin Research Centre, Burroughs Corp., January 1985."},{"key":"26_CR100","unstructured":"P. Roe. Parallel Programming using Functional Languages. PhD thesis, Glasgow University, April 1991."},{"key":"26_CR101","doi-asserted-by":"crossref","unstructured":"V. Sarkar and J. Hennessy. Partitioning Parallel Programs for Macro-Dataflow. In ACM Symp. on Lisp and Functional Programming, pages 202\u2013211, 1986.","DOI":"10.1145\/319838.319863"},{"key":"26_CR102","volume-title":"Technical Report 93-24","author":"W. Schreiner","year":"1993","unstructured":"W. Schreiner. Parallel Functional Programming \u2014 an Annotated Bibliography, Technical Report 93-24, RISC-Linz, Johannes Kepler University, Linz, Austria, May 1993."},{"key":"26_CR103","unstructured":"D.Scott. Relating theories of the lambda-calculus. In J.P.Seldin and J.R.Hindley, editors, in To H.B.Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism. Academic Press, 1980."},{"key":"26_CR104","unstructured":"M. R. Sleep, M. J. Plasmeijer, and M. C. J. D. van Eekelen, editors. Tem Graph Rewriting: Theory and Practice. Wiley, 1993."},{"key":"26_CR105","unstructured":"M.Shapiro, O.Gruber and D.Plainfoss\u00e9. A garbage detection protocol for a realistic distributed object-support system. Technical Report 1320, Rapports de Recherche, INRIA-Rocqencourt, Novembre 1990."},{"issue":"9","key":"26_CR106","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1145\/361002.361005","volume":"18","author":"G.L. Steele","year":"1975","unstructured":"G.L. Steele. Multiprocessing compactifying garbage collection. Communications of the ACM, 18(9):495\u2013508, September 1975.","journal-title":"Communications of the ACM"},{"issue":"6","key":"26_CR107","first-page":"354","volume":"19","author":"G.L. Steele","year":"1976","unstructured":"G.L. Steele. Corrigendum: Multiprocessing compactifying garbage collection. Communications of the ACM, 19(6):354, June 1976.","journal-title":"Communications of the ACM"},{"key":"26_CR108","unstructured":"W. R. Stoye. The Implementation of Functional Languages using Custom Hardware. PhD thesis, University of Cambridge, 1985."},{"key":"26_CR109","doi-asserted-by":"crossref","unstructured":"S.J.Thompson & R.D.Lins. The Categorical Multi-Combinator Machine: CMCM, The Computer Journal, vol 35(2): 170\u2013176, Cambridge University Press, April 1992.","DOI":"10.1093\/comjnl\/35.2.170"},{"key":"26_CR110","doi-asserted-by":"crossref","unstructured":"P.W.Trinder, K.Hammond, J.S.Mattson Jr., A.S.Partridge. GUM: a portable parallel implementation of Haskell, Proc. of Programming Language Design and Implementation, Philadelfia, USA, May, 1996.","DOI":"10.1145\/231379.231392"},{"key":"26_CR111","doi-asserted-by":"crossref","unstructured":"A.M.Turing, On computable numbers with an application to the Entscheidungsproblem, Proc. London Math. Soc. 42, pp 230\u2013265.","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"26_CR112","doi-asserted-by":"crossref","unstructured":"D.A. Turner. A new implementation technique for applicative languages. Software \u2014 Practice and Experience, 9, 1979.","DOI":"10.1002\/spe.4380090105"},{"key":"26_CR113","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1098\/rsta.1984.0065","volume":"312","author":"D.A. Turner","year":"1984","unstructured":"D.A.Turner. Functional Programming as executable Specifications, Phil.Transactions of the Royal Society of London 312, pp.363\u2013388, 1984.","journal-title":"Phil.Transactions of the Royal Society of London"},{"issue":"9","key":"26_CR114","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/360336.360338","volume":"19","author":"P.L. Wadler","year":"1976","unstructured":"P.L. Wadler. Analysis of an algorithm for real-time garbage collection. Communications of the ACM, 19(9):491\u2013500, September 1976.","journal-title":"Communications of the ACM"},{"key":"26_CR115","volume-title":"Technical report","author":"I. Watson","year":"1989","unstructured":"I. Watson. Simulation of a Physical EDS Machine Architecture. Technical report, Department of Computer Science, University of Manchester, UK, September 1989."},{"key":"26_CR116","doi-asserted-by":"crossref","unstructured":"I. Watson, V. Woods, P. Watson, R. Banach, M. Greenberg, and J, Sargeant. Flagship: a Parallel Architecture for Declarative Programming. In 15th. Annual ACM Symp, on Comp. Arch., page 124, 1988.","DOI":"10.1145\/633625.52415"},{"key":"26_CR117","first-page":"432","volume":"259","author":"P. Watson","year":"1987","unstructured":"P. Watson and I. Watson. An Efficient Garbage Collection Scheme for Parallel Computer Architectures. In PARLE '87, pages 432\u2013443. Springer Verlag LNCS 259, 1987.","journal-title":"Springer Verlag LNCS"},{"key":"26_CR118","first-page":"80","volume":"274","author":"P. Watson","year":"1987","unstructured":"P. Watson and I. Watson. Evaluating Functional Programs on the FLAG-SHIP Machine. In FPCA '87, pages 80\u201397. Springer-Verlag LNCS 274, September 1987.","journal-title":"Springer-Verlag LNCS"},{"key":"26_CR119","doi-asserted-by":"crossref","unstructured":"T. Yuba, T. Shimada, K. Hiraki, and H. Kashiwagi. SIGMA-1: A Dataflow Computer for Scientific Computations. Computer Physics Communications, pages 141\u2013148, 1985.","DOI":"10.1016\/0010-4655(85)90146-8"}],"container-title":["Lecture Notes in Computer Science","Vector and Parallel Processing \u2014 VECPAR'96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62828-2_134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T21:16:06Z","timestamp":1739999766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62828-2_134"}},"subtitle":["Invited paper"],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540628286","9783540686996"],"references-count":119,"URL":"https:\/\/doi.org\/10.1007\/3-540-62828-2_134","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"5 August 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}