{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:39Z","timestamp":1725663699629},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_87","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:50:50Z","timestamp":1330192250000},"page":"51-62","source":"Crossref","is-referenced-by-count":1,"title":["Domesticating imperative constructs so that they can live in a functional world"],"prefix":"10.1007","author":[{"given":"T. C.","family":"Nicholas Graham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerd","family":"Kock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"G.L. Burn. Overview of a parallel reduction machine: Project II. In Proceedings of PARLE 89, pages 385\u2013396, 1989.","DOI":"10.1007\/3540512845_52"},{"issue":"1","key":"5_CR2","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the Association of Computing Machinery, 24(1):44\u201367, January 1977.","journal-title":"Journal of the Association of Computing Machinery"},{"key":"5_CR3","unstructured":"Luca Cardelli. Two-dimensional syntax for functional languages. In Proceedings of Integrated Interactive Computing Systems, pages 107\u2013119, 1983."},{"issue":"8","key":"5_CR4","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1002\/spe.4380140805","volume":"14","author":"J. R. Cordy","year":"1984","unstructured":"James R. Cordy. Compile-time detection of aliasing in Euclid programs. Software Practice and Experience, 14(8):755\u2013768, August 1984.","journal-title":"Software Practice and Experience"},{"key":"5_CR5","unstructured":"James R. Cordy, Charles Halpern, and Eric Promislow. TXL: A rapid prototyping system for programming language dialects. In IEEE International Conference on Computer Languages, October 1988."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Gordon V. Cormack and Andrew K. Wright. Type-dependent parameter inference. In Proceedings of the 1990 SIGPLAN Conference on Design and Implementation of Programming Languages, 1990.","DOI":"10.1145\/93542.93560"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"John Darlington, Peter Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, Lyndon While, and Sue Wright. A functional programming environment supporting execution, partial execution and transformation. In Proceedings of PARLE 89, pages 286\u2013305, 1989.","DOI":"10.1007\/3540512845_46"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"David K. Gifford and John M. Lucassen. Integrating functional and imperative programming. In Proceedings of the 1986 SIGPLAN Conference on Design and Implementation of Programming Languages, pages 28\u201338, 1986.","DOI":"10.1145\/319838.319848"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"T.C. Nicholas Graham and Gerd Kock. Domesticating imperative constructs for a functional world. Technical report, GMD, 1991.","DOI":"10.1007\/3-540-54444-5_87"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Michael A. Jenkins, Janice I. Glasgow, and Carl McCrosky. Programming styles in Nial. IEEE Software, January 1986.","DOI":"10.1109\/MS.1986.232432"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Simon L. Peyton Jones, Chris Clack, and Jon Salkild. High-performance parallel graph reduction. In Proceedings of PARLE 89, pages 193\u2013206, 1989.","DOI":"10.1007\/3540512845_40"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"B.W. Lampson, J.J. Horning, R.L. London, J.G. Mitchell, and G.L. Popek. Report on the programming language Euclid. SIGPLAN Notices, 12(2), 1977.","DOI":"10.1145\/954666.971189"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Carl McCrosky. The elimination of intermediate containers in the evaluation of first-class array expressions. In IEEE International Conference on Computing Languages, pages 135\u2013142, 1988.","DOI":"10.1109\/ICCL.1988.13052"},{"issue":"2","key":"5_CR14","first-page":"1","volume":"2","author":"R. Milner","year":"1985","unstructured":"Robin Milner. The standard ml core language. Polymorphism, 2(2):1\u201328, October 1985.","journal-title":"Polymorphism"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Martin Odersky. How to make destructive updates less destructive. In ACM Principles of Programming Languages, 1990.","DOI":"10.1145\/99583.99590"},{"key":"5_CR16","unstructured":"Nigel Perry. I\/O and inter-language calling for functional languages. In Proceedings of the Ninth International Conference of the Chilean Computer Science Society and Fifteenth Latin American Conference on Informatics, July 1989."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Simon Thompson. Functional programming: Executable specifications and program transformation. Fifth International Workshop on Software Specification and Design, pages 287\u2013290, May 1989.","DOI":"10.1145\/75199.75244"},{"key":"5_CR18","unstructured":"Paul Zimmermann and Wolf Zimmermann. The automatic complexity analysis of divide-and-conquer algorithms. Technical Report 1149, INRIA, December 1989."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:54:38Z","timestamp":1605628478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}