{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:36Z","timestamp":1751983656222},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540435372"},{"type":"electronic","value":"9783540460282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46028-4_9","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T01:07:36Z","timestamp":1180573656000},"page":"138-154","source":"Crossref","is-referenced-by-count":1,"title":["Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler"],"prefix":"10.1007","author":[{"given":"Norman","family":"Scaife","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Michaelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susumu","family":"Horiguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"J. M. Bell, F. Bellegarde, and J. Hook. Type-driven defunctionalization. In Proceedings of the ACM SIGPLAN ICFP\u2019 97, pages 25\u201337. ACM, Jun 1997.","DOI":"10.1145\/258948.258953"},{"key":"9_CR2","unstructured":"L. Birkedal, N. Rothwell, M. Tofte, and D. N. Turner. The ML Kit (Version 1). Technical Report 93\/14, Department of Computer Science, University of Copenhagen, 1993."},{"key":"9_CR3","unstructured":"M. I. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. Pitman, 1989."},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45401-2_6","volume-title":"High-Level Parallel Programming Models and Supportive Environments","author":"R. Coudarcher","year":"2001","unstructured":"R. Coudarcher, J. Serot, and J.-P. Derutin. Implementation of a skeleton-based parallel programming environment supporting arbitrary nesting. In F. Meuller, editor, High-Level Parallel Programming Models and Supportive Environments, volume 2026 of LNCS. Springer-Verlag, Apr 2001."},{"key":"9_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173018","volume-title":"The Functional Approach to Programming","author":"G. Cousineau","year":"1998","unstructured":"G. Cousineau and M. Mauny. The Functional Approach to Programming. Cambridge University Press, Cambridge, 1998."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/322047.322057","volume":"25","author":"W. M. Gentleman","year":"1978","unstructured":"W. M. Gentleman. Some Complexity Results for Matrix Computations on Parallel Processors. JACM, 25:112\u2013115, 1978.","journal-title":"JACM"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"M. Hamdan. A Combinational Framework for Parallel Programming Using Algorithmic Skeletons. PhD thesis, Department of Computing and Electrical Engineering, Heriot-Watt University, 2000.","DOI":"10.1142\/9781848160170_0064"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"K. Hammond and G. Michaelson. Research Directions in Parallel Functional Programming. Springer, 1999.","DOI":"10.1007\/978-1-4471-0841-2"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Christoph A. Herrmann and Christian Lengauer. The hdc compiler project. In Alain Darte, Georges-Andr\u00e9 Silber, and Yves Robert, editors, Proc. Eighth Int. Workshop on Compilers for Parallel Computers (CPC 2000), pages 239\u2013254. LIP, ENS Lyon, 2000.","DOI":"10.1142\/S0129626400000238"},{"key":"9_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-15975-4_37","volume-title":"Lambda Lifting: transforming programs to recursive equations","author":"T. Johnsson","year":"1985","unstructured":"T. Johnsson. \u201cLambda Lifting: transforming programs to recursive equations\u201d, volume 201 of LNCS, pages 190\u2013302. Springer-Verlag, 1985."},{"key":"9_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Implementation skeletons in eden: Low-effort parallel programming","author":"U. Klusik","year":"2001","unstructured":"Ulrike Klusik, Rita Loogen, Steffen Priebe, and Fernando Rubio. Implementation skeletons in eden: Low-e.ort parallel programming. In 12th Int. Workshop on Implementation of Functional Languages (IFL 2000), LNCS. Springer, 2000. to appear."},{"key":"9_CR12","doi-asserted-by":"publisher","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":"H-W. Loidl, P.W. Trinder, K. Hammond, S.B. Junaidu, R.G. Morgan, and S.L. Peyton Jones. Engineering Parallel Symbolic Programs in GPH. Concurrency\u2014Practice and Experience, 11:701\u2013752, 1999.","journal-title":"Concurrency\u2014Practice and Experience"},{"key":"9_CR13","unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface Standard. International Journal of Supercomputer Applications and High Performance Computing, 8(3\/4), 1994."},{"key":"9_CR14","unstructured":"G. Michaelson and N. Scaife. \u201cparallel functional island model genetic algorithms through nested skeletons\u201d. In M. Mohnen and P. Koopman, editors, \u201cProceedings of 12th International Workshop on the Implementation of Functional Languages\u201d, pages 307\u2013313, Aachen, September 2000. ISSN 0935-3232."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"G. Michaelson, N. Scaife, P. Bristow, and P. King. Nested algorithmic skeletons from higher order functions. Parallel Algorithms and Applications special issue on High Level Models and Languages for Parallel Processing, 16(2\u20133), 2001.","DOI":"10.1080\/01495730108935271"},{"key":"9_CR16","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"9_CR17","unstructured":"P. Surry. RPL2 Functional Specification. Technical Report EPCC-PAP-RPL2-FS 1.0, University of Edinburgh\/British Gas, 1993."},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P. W. Trinder","year":"1998","unstructured":"P. W. Trinder, K. Hammond, H-W. Loidl, and S. L. Peyton-Jones. Algorithm + strategy = parallelism. Journal of Functional Programming, 8(1):23\u201360, Jan 1998.","journal-title":"Journal of Functional Programming"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1007925309764","volume":"12","author":"A.M. Wallace","year":"1998","unstructured":"A.M. Wallace, G. J. Michaelson, N. Scaife, and W. J. Austin. A Dual Source, Parallel Architecture for Computer Vision. The Journal of Supercomputing, 12(1\/2):37\u201356, Jan\/Feb 1998.","journal-title":"The Journal of Supercomputing"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46028-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T14:11:23Z","timestamp":1587564683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46028-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435372","9783540460282"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-46028-4_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}