{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:58Z","timestamp":1725636418291},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198796"},{"type":"electronic","value":"9781447132363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3236-3_10","type":"book-chapter","created":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T09:23:05Z","timestamp":1322126585000},"page":"127-137","source":"Crossref","is-referenced-by-count":1,"title":["Using Strictness in the STG Machine"],"prefix":"10.1007","author":[{"given":"Denis B.","family":"Howe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geoffrey L.","family":"Burn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"L. Augustsson. Compiling Lazy Functional Languages, Part II. PhD thesis, Chalmers Tekniska H\u00f6gskola, G\u00f6teborg, Sweden, 1987."},{"key":"10_CR2","unstructured":"G.L. Burn. Lazy Functional Languages: Abstract Interpretation and Compilation. Research Monographs in Parallel and Distributed Computing. Pitman in association with MIT Press, 1991. 238pp."},{"key":"10_CR3","unstructured":"R. Bird and P. Wadler. Introduction to Functional Programming. Prentice Hall, 1988."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"S.O. Finne and G.L. Burn. Assessing the evaluation transformer model of reduction on the Spineless G-Machine. In Proceedings of the Conference on Functional Programming and Computer Architecture. ACM, June 1993.","DOI":"10.1145\/165180.165229"},{"key":"10_CR5","unstructured":"C.V. Hall. An optimist\u2019s view of life: Transforming list expressions. Technical report, Department of Computer Science, University of Glasgow, 1992."},{"key":"10_CR6","unstructured":"P.H. Hartel. On the benefits of different analyses in the compilation of lazy functional languages. In 3rd Informal International Workshop on the Parallel Implementation of Functional Languages, pages 123\u2013145, Southampton, 1991."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"E. Nocker. Strictness analysis using abstract reduction. In Proceedings of the Conference on Functional Programming and Computer Architecture. ACM, June 1993.","DOI":"10.1145\/165180.165219"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"S.L. Peyton Jones. Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine. Technical Report 2, Department of Computing Science, University of Glasgow G12 8QQ., April 1992. FTP: ftp.dcs.glasgow.ac.uk in \/pub\/glasgow-fp\/papers\/spineless-tagless-gmachine.dvi.","DOI":"10.1017\/S0956796800000319"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"S.L. Peyton Jones and J. Launchbury. Unboxed values as first class citizens in a non-strict functional language. In J. Hughes, editor, Proceedings of the Conference on Functional Programming and Computer Architecture, pages 636\u2013666, Cambridge, Massachussets, USA, 26-28 August 1991. Springer-Verlag LNCS523.","DOI":"10.1007\/3540543961_30"},{"key":"10_CR10","unstructured":"S.L. Peyton Jones and W. Partain. Measuring the effectiveness of a simple strictness analyser. In J.T. O\u2019Donnell, editor, Glasgow Workshop on Functional Programming 1993, Lecture Notes in Computer Science. Springer-Verlag, 5-7 July 1993."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"S. Smetsers, E. N\u00f6cker, J. van Groningen, and R. Plasmeijer. Generating efficient code for lazy functional languages. In J. Hughes, editor, Proceedings of the Conference on Functional Programming and Computer Architecture, number 523 in Lecture Notes in Computer Science, pages 592\u2013617, Cambridge, Massachussets, USA, 26-28 August 1991. Springer-Verlag.","DOI":"10.1007\/3540543961_28"}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3236-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T00:33:35Z","timestamp":1560990815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3236-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198796","9781447132363"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3236-3_10","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}