{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T11:05:08Z","timestamp":1648983908791},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10990-010-9055-7","type":"journal-article","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T09:25:44Z","timestamp":1270805144000},"page":"305-312","source":"Crossref","is-referenced-by-count":0,"title":["The Peter Landin prize"],"prefix":"10.1007","volume":"22","author":[{"given":"Kevin","family":"Hammond","sequence":"first","affiliation":[]},{"given":"Greg","family":"Michaelson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,4,10]]},"reference":[{"key":"9055_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-15975-4_31","volume-title":"Functional Programming Languages and Computer Architecture","author":"S. Abramsky","year":"1985","unstructured":"Abramsky, S., Sykes, R.: SECD-M: a virtual machine for applicative programming. In: Jouannaud, J.-P. (ed.) Functional Programming Languages and Computer Architecture, Nancy, France, September 1985. Lecture Notes in Computer Science, vol. 201, pp. 81\u201398. Springer, Berlin (1985)"},{"key":"9055_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-74130-5_5","volume-title":"Implementation and Application of Functional Languages","author":"J. Berthold","year":"2007","unstructured":"Berthold, J., Loogen, R.: Parallel coordination made explicit in a functional setting. In: Horv\u00e1th, Z., Zs\u00f3k, V., Butterfield, A. (eds.) Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Budapest, Hungary, September 4\u20136, 2006. Lecture Notes in Computer Science, vol. 4449, pp. 73\u201390. Springer, Berlin (2007). Revised Selected Papers"},{"key":"9055_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"990","DOI":"10.1007\/978-3-642-03869-3_91","volume-title":"Proc. Euro-Par 2009: 15th International Euro-Par Conference","author":"J. Berthold","year":"2009","unstructured":"Berthold, J., Dieterle, M., Loogen, R.: Implementing parallel Google map-reduce in Eden. In: Sips, H., Epema, R., Lin, H.-X. (eds.) Proc. Euro-Par 2009: 15th International Euro-Par Conference, Delft, the Netherlands. Lecture Notes in Computer Science, vol. 5704, pp. 990\u20131002. Springer, Berlin (2009)"},{"key":"9055_CR4","unstructured":"Berthold, J., Dieterle, M., Lobachev, O., Loogen, R.: Distributed memory programming on many-cores\u2014a case study using Eden Divide-&-Conquer skeletons. In: Gro\u00dfpitsch, K.-E., Henkersdorf, A., Uhrig, S., Ungerer, T., H\u00e4hner, J. (eds.) Proc. ARCS\u201909\u201422nd International Conference on Architecture of Computing Systems, March (2009)"},{"key":"9055_CR5","volume-title":"Recursive Programming Techniques","author":"W.H. Burge","year":"1975","unstructured":"Burge, W.H.: Recursive Programming Techniques. Addison-Wesley, New York (1975)"},{"key":"9055_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/11431664_4","volume-title":"Implementation and Application of Functional Languages","author":"O. Danvy","year":"2005","unstructured":"Danvy, O.: A rational deconstruction of Landin\u2019s SECD machine. In: Grelck, C., Huch, F., Michaelson, G., Trinder, P.W. (eds.) Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, L\u00fcbeck, Germany, September 8\u201310, 2004. Lecture Notes in Computer Science, vol. 3474, pp. 52\u201371. Springer, Berlin (2005). Revised Selected Papers"},{"issue":"12","key":"9055_CR7","first-page":"1","volume":"4","author":"O. Danvy","year":"2008","unstructured":"Danvy, O., Millikin, K.: A rational deconstruction of Landin\u2019s SECD machine with the J operator. Log. Methods Comput. Sci. 4(12), 1\u201367 (2008)","journal-title":"Log. Methods Comput. Sci."},{"issue":"7","key":"9055_CR8","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1016\/j.parco.2006.08.003","volume":"32","author":"C. Grelck","year":"2006","unstructured":"Grelck, C., Scholz, S.-B.: Merging compositions of array skeletons in SAC. Parallel Comput. 32(7), 507\u2013522 (2006)","journal-title":"Parallel Comput."},{"key":"9055_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/11964681_11","volume-title":"Implementation and Application of Functional Languages","author":"C. Grelck","year":"2006","unstructured":"Grelck, C., Hinckfu\u00df, K., Scholz, S.-B.: With-loop fusion for data locality and parallelism. In: Butterfield, A., Grelck, C., Huch, F. (eds.) Implementation and Application of Functional Languages, 7th International Workshop, IFL 2005, Dublin, Ireland, September 19\u201321, 2005. Lecture Notes in Computer Science, vol. 4015, pp. 178\u2013195. Springer, Berlin (2006). Revised Selected Papers"},{"key":"9055_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0841-2","volume-title":"Research Directions in Parallel Functional Programming","author":"K. Hammond","year":"1999","unstructured":"Hammond, K., Michaelson, G.: Research Directions in Parallel Functional Programming. Springer, Berlin (1999)"},{"key":"9055_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Implementation and Application of Functional Languages","author":"R. Hinze","year":"2009","unstructured":"Hinze, R.: Scans and convolutions: a calculational proof of Moessner\u2019s theorem. In: Scholz, S.-B. (ed.) Implementation and Application of Functional Languages, 20th International Symposium, IFL 2008, Hatfield, UK, September 10\u201312, 2008. Lecture Notes in Computer Science. Springer, Berlin (2009). Revised Selected Papers"},{"key":"9055_CR12","doi-asserted-by":"crossref","unstructured":"Hughes, J., Pareto, L., Sabry, A.: Proving the correctness of reactive systems using sized types. In: Proc 1996 ACM Symposium on Principles of Programming Languages\u2014POPL \u201996, pp. 410\u2013423. St. Petersburg, FL, January (1996)","DOI":"10.1145\/237721.240882"},{"issue":"4","key":"9055_CR13","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. Landin","year":"1964","unstructured":"Landin, P.: The mechanical evaluation of expressions. Comput. J. 6(4), 308\u2013320 (1964)","journal-title":"Comput. J."},{"key":"9055_CR14","unstructured":"Landin, P.: An abstract machine for designers of computer languages. In: Proceedings of the IFIP Congress 65, pp. 438\u2013439. IFIP (1965)"},{"issue":"3","key":"9055_CR15","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P. Landin","year":"1966","unstructured":"Landin, P.: The next 700 programming languages. Commun. ACM 9(3), 157\u2013166 (1966)","journal-title":"Commun. ACM"},{"key":"9055_CR16","series-title":"Lecture Notes in Computer Science","first-page":"990","volume-title":"Proc. 10th Intl. Conference on Parallel Computing Technologies (PACT)\u201909","author":"O. Lobachev","year":"2009","unstructured":"Lobachev, O., Berthold, J., Dieterle, M., Loogen, R.: Parallel FFT using Eden skeletons. In: Proc. 10th Intl. Conference on Parallel Computing Technologies (PACT)\u201909. Lecture Notes in Computer Science, vol. 5698, pp. 990\u20131002. Springer, Berlin (2009)"},{"issue":"3","key":"9055_CR17","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1017\/S0956796805005526","volume":"15","author":"R. Loogen","year":"2005","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a-Mar\u00ed, R.: Parallel functional programming in Eden. J. Funct. Program. 15(3), 431\u2013475 (2005)","journal-title":"J. Funct. Program."},{"key":"9055_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-540-85373-2_9","volume-title":"Implementation and Application of Functional Languages","author":"N. Mitchell","year":"2008","unstructured":"Mitchell, N., Runciman, C.: A supercompiler for core Haskell. In: Chitil, O., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, September 27\u201329, 2007. Lecture Notes in Computer Science, vol. 5083, pp. 147\u2013164. Springer, Berlin (2008). Revised Selected Papers"},{"issue":"6","key":"9055_CR19","doi-asserted-by":"crossref","first-page":"1005","DOI":"10.1017\/S0956796802004458","volume":"13","author":"S.-B. Scholz","year":"2003","unstructured":"Scholz, S.-B.: Single assignment C\u2014efficient support for high-level array operations in a functional setting. J. Funct. Program. 13(6), 1005\u20131059 (2003)","journal-title":"J. Funct. Program."},{"key":"9055_CR20","unstructured":"Scholz, S.-B., Herhut, S., Joslin, C.: Architecture paradigms and programming languages for efficient programming of multiple COREs. Apple-Core Deliverable D4.2. http:\/\/www.apple-core.info\/wp-content\/apple-core\/2008\/01\/d42.pdf , May (2009)"},{"key":"9055_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-540-27861-0_6","volume-title":"Implementation of Functional Languages","author":"P.B. Vasconcelos","year":"2004","unstructured":"Vasconcelos, P.B., Hammond, K.: Inferring cost equations for recursive, polymorphic and higher-order functional programs. In: Trinder, P.W., Michaelson, G., Pena, R. (eds.) Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8\u201311, 2003. Lecture Notes in Computer Science, vol. 3145, pp. 86\u2013101. Springer, Berlin (2004). Revised Papers"},{"key":"9055_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-44854-3_14","volume-title":"Implementation of Functional Languages","author":"A. Weelden van","year":"2003","unstructured":"van Weelden, A., Plasmeijer, R.: Towards a strongly typed functional operating system. In: Arts, T., Pena, R. (eds.) Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 2003. Lecture Notes in Computer Science, vol. 2670, pp. 215\u2013231. Springer, Berlin (2003). Revised Selected Papers"},{"key":"9055_CR23","volume-title":"Programming Languages, Information Structures and Machine Organization","author":"P. Wegner","year":"1971","unstructured":"Wegner, P.: Programming Languages, Information Structures and Machine Organization. McGraw-Hill, New York (1971)"},{"key":"9055_CR24","doi-asserted-by":"crossref","unstructured":"Al\u00a0Zain, A.D., Hammond, K., Berthold, J., Trinder, P., Michaelson, G., Aswad, M.: Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. In: Proc. DAMP \u201909: 4th International Workshop on Declarative Aspects of Multicore Programming, Savannah, Georgia, USA, January (2009)","DOI":"10.1145\/1481839.1481843"},{"key":"9055_CR25","doi-asserted-by":"crossref","unstructured":"Al\u00a0Zain, A.D., Trinder, P.W., Hammond, K., Konovalov, A., Linton, S., Berthold, J.: Parallelism without pain: orchestrating computational algebra components into a high-performance parallel system. In: Proc. IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA\u201908), pp.\u00a099\u2013112. Sydney, Australia, December (2008)","DOI":"10.1109\/ISPA.2008.19"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-010-9055-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-010-9055-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-010-9055-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:42Z","timestamp":1559338182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-010-9055-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9055"],"URL":"https:\/\/doi.org\/10.1007\/s10990-010-9055-7","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12]]}}}