{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:17Z","timestamp":1763468117942},"publisher-location":"London","reference-count":19,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199144"},{"type":"electronic","value":"9781447135739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3573-9_13","type":"book-chapter","created":{"date-parts":[[2013,1,5]],"date-time":"2013-01-05T06:22:28Z","timestamp":1357366948000},"page":"184-204","source":"Crossref","is-referenced-by-count":7,"title":["Compilation by Transformation in the Glasgow Haskell Compiler"],"prefix":"10.1007","author":[{"given":"Simon Peyton","family":"Jones","sequence":"first","affiliation":[]},{"given":"Andr\u00e9","family":"Santos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"A. Appel. Compiling with Continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"A. Appel and T. Jim. Continuation-passing, closure-passing style. In ACM Conference on Principles of Programming Languages, pages 293302, January 1989.","DOI":"10.1145\/75277.75303"},{"key":"13_CR3","unstructured":"W. N. Chin. Automatic Methods for Program Transformation. PhD thesis, Imperial College, London, March 1990."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"A. Gill, J. Launchbury, and S. Peyton Jones. A short cut to deforestation. In Functional Programming Languages and Computer Architecture,pages 223\u2013232, Copenhagen, June 1993. ACM Press.","DOI":"10.1145\/165180.165214"},{"key":"13_CR5","unstructured":"R. J. M. Hughes. The Design and Implementation of Programming Languages. PhD thesis, Programming Research Group, Oxford University, July 1983."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Lambda lifting: Transforming programs to recursive equations. In Functional Programming Languages and Computer Architecture,number 201 in LNCS, pages 190\u2013203, Nancy, September 1985. Springer-Verlag.","DOI":"10.1007\/3-540-15975-4_37"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"R. Kelsey and P. Hudak. Realistic compilation by program transformation. In ACM Conference on Principles of Programming Languages, pages 281292, January 1989.","DOI":"10.1145\/75277.75302"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"R. A. Kelsey. Compilation by Program Transformation. PhD thesis, Yale University, Department of Computer Science, May 1989. YALEU\/DCS\/RR-702.","DOI":"10.1145\/75277.75302"},{"key":"13_CR9","unstructured":"D. A. Kranz. ORBIT - an optimising compiler for Scheme. PhD thesis, Yale University, Department of Computer Science, May 1988."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"J. Launchbury and P. M. Sansom, editors. Functional Programming, Glasgow\n                1992, Ayr, Scotland, 1992. Springer Verlag, Workshops in Computing.","DOI":"10.1007\/978-1-4471-3215-8"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"S. Marlow and P. Wadler. Deforestation for higher-order functions. In Launchbury and Sansom [10], pages 154\u2013165.","DOI":"10.1007\/978-1-4471-3215-8_14"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"B. Matthews. MERILL: An equational reasoning system in Standard ML. In 5th International Conference on Rewriting Techniques and Applications, number 690 in LNCS, pages 414\u2013445. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56868-9_34"},{"key":"13_CR13","unstructured":"B. Matthews. Analysing a set of transformation rules using completion. 1994."},{"key":"13_CR14","unstructured":"W. Partain. The nofib benchmarking suite. In Launchbury and Sansom [10]."},{"key":"13_CR15","unstructured":"S. Peyton Jones, C. Hall, K. Hammond, W. Partain, and P. Wadler. The Glasgow Haskell compiler: a technical overview. In UK Joint Framework for Information Technology (JFIT) Technical Conference, Keele, March 1993."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"S. Peyton Jones and J. Launchbury. Unboxed values as first class citizens. In Functional Programming Languages and Computer Architecture, pages 636\u2013666, September 1991.","DOI":"10.1007\/3540543961_30"},{"issue":"5","key":"13_CR17","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1002\/spe.4380210505","volume":"21","author":"S Peytonnes","year":"1991","unstructured":"S. Peyton Jones and D. Lester. A modular fully-lazy lambda lifter in Haskell. Software\u2013Practice and Experience, 21 (5): 479\u2013506, May 1991.","journal-title":"Software - Practice and Experience"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"S. Peyton Jones and W. Partain. On the effectiveness of a simple strictness analyser. In Functional Programming, Glasgow 1993,Ayr, Scotland, 1993. Springer Verlag, Workshops in Computing.","DOI":"10.1007\/978-1-4471-3236-3_17"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P Wadler","year":"1990","unstructured":"P. Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73: 231\u2013248, 1990.","journal-title":"Theoretical Computer Science"}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3573-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T06:31:24Z","timestamp":1557469884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3573-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199144","9781447135739"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3573-9_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}