{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:14Z","timestamp":1725663074458},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540184201"},{"type":"electronic","value":"9783540479635"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18420-1_64","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T01:42:27Z","timestamp":1330220547000},"page":"328-335","source":"Crossref","is-referenced-by-count":10,"title":["A new array operation"],"prefix":"10.1007","author":[{"given":"Philip","family":"Wadler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"18_CR1","unstructured":"Arvind, R. S. Nikhil, and K. Pengali. Id Nouveau Manual. Computation Structures Group Memo 265, MIT, 1986."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"R. S. Bird. An introduction to the theory of lists. In Marktoberdorf Workshop on Logics of Programming, August 1986.","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"P. Hudak and A. Bloss. The aggregate update problem in functional programming systems. In 12th ACM Symposium on Principles of Programming Languages, pages 300\u2013314, 1985.","DOI":"10.1145\/318593.318660"},{"key":"18_CR4","unstructured":"S\u00f6ren Holmstr\u00f6m. A simple and efficient way to handle large data structures in applicative languages. In Proceedings SERC\/Chalmers Workshop on Declarative Programming, University College London, 1983."},{"key":"18_CR5","unstructured":"S\u00f6ren Holmstr\u00f6m. Types for unshared objects in functional programming. Chalmers University of Technology, G\u00f6teborg, Sweden, 1986. To appear."},{"key":"18_CR6","unstructured":"P. Hudak. ALFL Reference Manual and Programmer's Guide. Research Report YALEU\/DCS\/RR-322, Second Edition, Yale University, October 1984."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"P. Hudak. A semantic model of reference counting and its abstraction (detailed summary). In ACM Symposium on Lisp and Functional Programming, pages 351\u2013363, August 1986.","DOI":"10.1145\/319838.319876"},{"key":"18_CR8","unstructured":"R. J. M. Hughes. An efficient implementation of purely functional arrays. Technical Report, Programming Methodology Group, Chalmers University of Technology, G\u00f6teborg, Sweden, 1985."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"R. Keller. Divide and CONCer. In ACM Symposium on Lisp, pages 196\u2013202, Palo Alto, California, August 1980.","DOI":"10.1145\/800087.802806"},{"key":"18_CR10","unstructured":"R.M. Keller. FEL programmer's guide. Technical Report AMPS TR 7, University of Utah, March 1982."},{"key":"18_CR11","unstructured":"L. Meertens. Algorithmics: towards programming as a mathematical activity. In J. W. de Bakker, et. al., editor, Mathematics and Computer Science, North-Holland, 1984."},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/3318.3323","volume":"7","author":"D. A. Schmidt","year":"1985","unstructured":"D. A. Schmidt. Detecting global variables in denotational specifications. ACM Transactions on Programming Languages and Systems, 7:299\u2013310, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"11","key":"18_CR13","doi-asserted-by":"crossref","first-page":"1082","DOI":"10.1002\/spe.4380121109","volume":"12","author":"M. R. Sleep","year":"1982","unstructured":"M. R. Sleep and S. Holmstr\u00f6m. A short note concerning lazy reduction rules of append. Software Practice and Experience, 12(11):1082\u20134, November 1982.","journal-title":"Software Practice and Experience"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"G. L. Steele Jr. and W. D. Hillis. Connection Machine Lisp: fine-grained parallel symbolic processing. In ACM Symposium on Lisp and Functional Programming, pages 279\u2013297, Cambridge, Massachusetts, August 1986.","DOI":"10.1145\/319838.319870"},{"key":"18_CR15","unstructured":"W. Stoye. The Implementation of Functional Languages using Custom Hardware. PhD thesis, Cambridge University, December 1985. Computer Laboratory Technical Report No. 81."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"D. A. Turner. Recursion equations as a programming language. In J. Darlington, P. Henderson, and D. Turner, editors, Functional Programming and Its Applications, Cambridge University Press, 1981.","DOI":"10.1007\/978-3-319-30936-1_24"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"D. A. Turner. Miranda: A non-strict functional language with polymorphic types. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, Springer-Verlag, September 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"18_CR18","unstructured":"D. A. Turner. Applicative arrays\u2014an alternative proposal. Technical Memo, Burroughs Austin Research Center, April 1986."},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0020-0190(85)90049-3","volume":"20","author":"D. S. Wise","year":"1985","unstructured":"D. S. Wise. Representing matrices as quadtrees for parallel processors. Information Processing Letters, 20:195\u2013199, May 1985.","journal-title":"Information Processing Letters"},{"key":"18_CR20","unstructured":"D. S. Wise. Parallel decomposition of matrix inversion using quadtrees. In International Conference on Parallel Processing, pages 92\u201399, 1986. (IEEE Cat. No. 86CH2355-6)."}],"container-title":["Lecture Notes in Computer Science","Graph Reduction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18420-1_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:54Z","timestamp":1605644094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18420-1_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540184201","9783540479635"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-18420-1_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}