{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:33:25Z","timestamp":1743082405086,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664437"},{"type":"electronic","value":"9783540483113"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48311-x_129","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:16:48Z","timestamp":1269897408000},"page":"930-934","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining"],"prefix":"10.1007","author":[{"given":"Christoph A.","family":"Herrmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Laitenberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Schaller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,8,6]]},"reference":[{"key":"129_CR1","unstructured":"Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Series in Computer Science and Information Processing. Addison-Wesley, 1974."},{"issue":"8","key":"129_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/258949.258953","volume":"32","author":"J. M. Bell","year":"1997","unstructured":"Jeffrey M. Bell, Fran\u00e7oise Bellegarde, and James Hook. Type-driven defunctionalization. ACM SIGPLAN Notices, 32(8):25\u201337, 1997. Proc. ACM SIGPLAN Int. Conf. on Functional Programming (ICFP\u201997).","journal-title":"ACM SIGPLAN Notices"},{"key":"129_CR3","unstructured":"Richard Bird. Introduction to Functional Programming using Haskell. Series in Computer Science. Prentice Hall Europe, 2nd edition, 1998."},{"issue":"4","key":"129_CR4","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1142\/S0129626496000479","volume":"6","author":"C. A. Herrmann","year":"1996","unstructured":"Christoph A. Herrmann and Christian Lengauer. On the space-time mapping of a class of divide-and-conquer recursions. Parallel Processing Letters, 6(4):525\u2013537, 1996.","journal-title":"Parallel Processing Letters"},{"key":"129_CR5","unstructured":"Christoph A. Herrmann and Christian Lengauer. Size inference of nested lists in functional programs. In Kevin Hammond, Tony Davie, and Chris Clack, editors, Proc. 10th Int. Workshop on the Implementation of Functional Languages (IFL\u201998), pages 346\u2013364. Department of Computer Science, University College London, 1998."},{"key":"129_CR6","unstructured":"Christoph A. Herrmann, Christian Lengauer, Robert G\u00fcnz, Jan Laitenberger, and Christian Schaller. A compiler for HDC. Technical Report MIP-9907, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, May 1999."},{"key":"129_CR7","unstructured":"Zhenjiang Hu. Personal communication at the Dagstuhl Seminar on High-Level Parallel Programming, April 1999."},{"key":"129_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proc. Conf. on Functional Programming Languages and Computer Architecture (FPCA\u201985)","author":"T. Johnsson","year":"1985","unstructured":"Thomas Johnsson. Lambda lifting: Transforming programs to recursive equations. In Jean-Pierre Jouannaud, editor, Proc. Conf. on Functional Programming Languages and Computer Architecture (FPCA\u201985), LNCS 201. Springer-Verlag, 1985."},{"key":"129_CR9","unstructured":"Lehrstuhl f\u00fcr Programmierung, Universit\u00e4t Passau. The HDC compiler project. \n                  http:\/\/www.fmi.uni-passau.de\/cl\/hdc\/\n                  \n                ."},{"key":"129_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-61055-3_27","volume-title":"Programming Languages and Systems (ESOP\u201996)","author":"S. L. Peyton Jones","year":"1996","unstructured":"Simon L. Peyton Jones. Compiling Haskell by program transformation: A report from the trenches. In Hanne Riis Nielson, editor, Programming Languages and Systems (ESOP\u201996), LNCS 1058, pages 18\u201344. Springer-Verlag, 1996."},{"key":"129_CR11","unstructured":"Christian Schaller. Elimination von Funktionen h\u00f6herer Ordnung in Haskell-Programmen. Diplomarbeit, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, September 1998. In German."},{"key":"129_CR12","unstructured":"Hannu Toivonen. Discovery of Frequent Patterns in Large Data Collections. PhD thesis, Department of Computer Science, University of Helsinki, 1996."},{"issue":"4","key":"129_CR13","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1017\/S0956796898003086","volume":"8","author":"A. Tolmach","year":"1998","unstructured":"Andrew Tolmach and Dino P. Oliva. From ML to Ada: Strongly-typed language interoperability via source translation. J. Functional Programming, 8(4):367\u2013412, July 1998.","journal-title":"J. Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Euro-Par\u201999 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48311-X_129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,17]],"date-time":"2020-09-17T14:43:29Z","timestamp":1600353809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48311-X_129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664437","9783540483113"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48311-x_129","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"6 August 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}