{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:55Z","timestamp":1751983675665},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572640"},{"type":"electronic","value":"9783540480273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:33:04Z","timestamp":1330259584000},"page":"124-140","source":"Crossref","is-referenced-by-count":9,"title":["Tupling functions with multiple recursion parameters"],"prefix":"10.1007","author":[{"given":"Wei-Ngan","family":"Chin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siau-Cheng","family":"Khoo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Lennart Augustsson. Compiling pattern-matching. In Conference on Functional Programming and Computer Architecture (LNCS 201, ed Jouannaud), pages 368\u2013381, Nancy, France, 1985.","DOI":"10.1007\/3-540-15975-4_48"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Wei-Ngan Chin. Safe fusion of functional expressions. In ACM Lisp and Functional Programming Conference, pages 11\u201320, San Francisco, California, June 1992.","DOI":"10.1145\/141471.141494"},{"key":"11_CR3","unstructured":"Wei-Ngan Chin. A modular strategy for combining the fusion and tupling methods. In Unpublished, April 1993."},{"key":"11_CR4","unstructured":"Wei-Ngan Chin. Synchronisation analysis. In (in preparation), July 1993."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Wei-Ngan Chin. Towards an automated tupling strategy. In ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, June 1993.","DOI":"10.1145\/154630.154643"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Alberto Pettorossi. A powerful strategy for deriving programs by transformation. In ACM Lisp and Functional Programming Conference, pages 273\u2013281, 1984.","DOI":"10.1145\/800055.802044"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"M Proietti and A Pettorossi. Unfolding \u2014 definition \u2014 folding, in this order for avoiding unnecessary variables in logic programs. In Proc PLILP'91, LNCS 528, pages 347\u2013358, Passau, Germany, August 1991.","DOI":"10.1007\/3-540-54444-5_111"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Phil Wadler. Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time. In ACM Symposium on Lisp and Functional Programming, pages 45\u201352, Austin, Texas, August 1984.","DOI":"10.1145\/800055.802020"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Phil Wadler. Deforestation: Transforming programs to eliminate trees. In European Symposium on Programming, pages 344\u2013358, Nancy, France, March 1988.","DOI":"10.1007\/3-540-19027-9_23"},{"issue":"1","key":"11_CR10","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/114005.102806","volume":"13","author":"R. C. Waters","year":"1991","unstructured":"Richard C Waters. Automatic transformation of series expressions into loops. ACM Transaction on Programming Languages and Systems, 13(1):52\u201398, January 1991.","journal-title":"ACM Transaction on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:26Z","timestamp":1605647426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}