{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:29:41Z","timestamp":1725755381005},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1996,6,15]]},"DOI":"10.1145\/232627.232630","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:08:40Z","timestamp":1075828120000},"page":"1-12","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":45,"title":["Let-floating"],"prefix":"10.1145","author":[{"given":"Simon","family":"Peyton Jones","sequence":"first","affiliation":[{"name":"University of Glasgow"}]},{"given":"Will","family":"Partain","sequence":"additional","affiliation":[{"name":"University of Glasgow"}]},{"given":"Andr\u00e9","family":"Santos","sequence":"additional","affiliation":[{"name":"University of Glasgow"}]}],"member":"320","published-online":{"date-parts":[[1996,6,15]]},"reference":[{"volume-title":"Compilers - principles, techniques and ~ools","author":"Aho AV","unstructured":"AV Aho , R Sethi & JD Ullman {1986} , Compilers - principles, techniques and ~ools , Addison Wesley . AV Aho, R Sethi & JD Ullman {1986}, Compilers - principles, techniques and ~ools, Addison Wesley.","key":"e_1_3_2_1_1_1"},{"volume-title":"Compiling with continuations","author":"AW","unstructured":"AW Appel {1992} , Compiling with continuations , Cambridge University Press . AW Appel {1992}, Compiling with continuations, Cambridge University Press.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/199448.199507"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/197405.197406"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/173262.155113"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/322358.322370"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/114005.102805"},{"volume-title":"Department of Computing Science","author":"AJ","unstructured":"AJ Gill {Jan 1996}, \" Cheap deforestation for non-strict functional languages,\" Ph D thesis , Department of Computing Science , Glasgow University . AJ Gill {Jan 1996}, \"Cheap deforestation for non-strict functional languages,\" PhD thesis, Department of Computing Science, Glasgow University.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"crossref","unstructured":"P Hudak SL Peyton Jones PL Wadler Arvind B Boutel J Fairbairn J Fasel M Guzman K Hammond J Hughes T Johnsson R Kieburtz RS Nikhil W Partain &: J Peterson{May 1992} \"Report on the functional programming language HaskeI1 Version 1.2 \" SIGPLAN Notices 27. P Hudak SL Peyton Jones PL Wadler Arvind B Boutel J Fairbairn J Fasel M Guzman K Hammond J Hughes T Johnsson R Kieburtz RS Nikhil W Partain &: J Peterson{May 1992} \"Report on the functional programming language HaskeI1 Version 1.2 \" SIGPLAN Notices 27.","key":"e_1_3_2_1_9_1","DOI":"10.1145\/130697.130699"},{"volume-title":"Programming Research Group","author":"RJM","unstructured":"RJM Hughes {July 1983}, \" The design and implementation of programming languages,\" Ph D thesis , Programming Research Group , Oxford . RJM Hughes {July 1983}, \"The design and implementation of programming languages,\" PhD thesis, Programming Research Group, Oxford.","key":"e_1_3_2_1_10_1"},{"unstructured":"R Kelsey {May 1989} \"Compilation by program transformation '' YALEU\/DCS\/RR-702 PhD thesis Department of Computer Science Yale University. R Kelsey {May 1989} \"Compilation by program transformation '' YALEU\/DCS\/RR-702 PhD thesis Department of Computer Science Yale University.","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/75277.75302"},{"volume-title":"Department of Computer Science","author":"DA","unstructured":"DA Kranz {May 1988}, \"ORBIT- an optimising compiler for Scheme,\" Ph D thesis , Department of Computer Science , Yale University . DA Kranz {May 1988}, \"ORBIT- an optimising compiler for Scheme,\" PhD thesis, Department of Computer Science, Yale University.","key":"e_1_3_2_1_13_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/12276.13333"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_1_16_1","volume-title":"Workshops in Computing, Springer Verlag, 195-202","author":"WD","year":"1992","unstructured":"WD Partain {1993}, \" The nofib Benchmark Suite of Haskell Programs ,\" in Functional Programming , Glasgow 1992 , J Launchbury & PM Sansom, eds ., Workshops in Computing, Springer Verlag, 195-202 . WD Partain {1993}, \"The nofib Benchmark Suite of Haskell Programs,\" in Functional Programming, Glasgow 1992, J Launchbury & PM Sansom, eds., Workshops in Computing, Springer Verlag, 195-202."},{"volume-title":"The Implemenia,ion of Functional Programming Languages","author":"Peyton SL","unstructured":"SL Peyton Jones {1987} , The Implemenia,ion of Functional Programming Languages , Prentice Hall . SL Peyton Jones {1987}, The Implemenia,ion of Functional Programming Languages, Prentice Hall.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1017\/S0956796800000319"},{"key":"e_1_3_2_1_19_1","first-page":"249","article-title":"}, \"The Glasgow Haskell compiler: a technical overview,\" in Proceedings of Joint Framework \/or Information Technology Technical Conference, Keele","author":"Peyton Jones SL","year":"1993","unstructured":"SL Peyton Jones , CV Hall , K Hammond , WD Partain & PL Wadler { March 1993 }, \"The Glasgow Haskell compiler: a technical overview,\" in Proceedings of Joint Framework \/or Information Technology Technical Conference, Keele , DTI\/SERC , 249 - 257 . SL Peyton Jones, CV Hall, K Hammond, WD Partain & PL Wadler {March 1993}, \"The Glasgow Haskell compiler: a technical overview,\" in Proceedings of Joint Framework \/or Information Technology Technical Conference, Keele, DTI\/SERC, 249-257.","journal-title":"DTI\/SERC"},{"volume-title":"LNCS 523","author":"Peyton SL","unstructured":"SL Peyton Jones gc J Launchbury{Sept 1991}, \" Unboxed values as first class citizens,\" in Functional Programming Languages and Computer Architecture , Boston, Hughes , ed., LNCS 523 , Springer Verlag , 636-666. SL Peyton Jones gc J Launchbury{Sept 1991}, \"Unboxed values as first class citizens,\" in Functional Programming Languages and Computer Architecture, Boston, Hughes, ed., LNCS 523, Springer Verlag, 636-666.","key":"e_1_3_2_1_20_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1002\/spe.4380210505"},{"volume-title":"Workshops in Computing, Springer Verlag, 201-220","author":"Peyton Jones SL","unstructured":"SL Peyton Jones & WD Partain {1993}, \"Measuring the effectiveness of a simple strictness analyser,\" in Funciional Programming, Glasgow 1993, K Hammond & JT O'Donnell, eds ., Workshops in Computing, Springer Verlag, 201-220 . SL Peyton Jones & WD Partain {1993}, \"Measuring the effectiveness of a simple strictness analyser,\" in Funciional Programming, Glasgow 1993, K Hammond & JT O'Donnell, eds., Workshops in Computing, Springer Verlag, 201-220.","key":"e_1_3_2_1_22_1"},{"volume-title":"Workshops in Computing, Springer Verlag, 184-204","author":"Peyton Jones SL","unstructured":"SL Peyton Jones & A Santos {1994}, \"Compilation by transformation in the Glasgow Haskell Compiler,\" in Functional Programming, Glasgow 1994, K Hammond, DN Turner g~ PM Sansom, eds ., Workshops in Computing, Springer Verlag, 184-204 . SL Peyton Jones & A Santos {1994}, \"Compilation by transformation in the Glasgow Haskell Compiler,\" in Functional Programming, Glasgow 1994, K Hammond, DN Turner g~ PM Sansom, eds., Workshops in Computing, Springer Verlag, 184-204.","key":"e_1_3_2_1_23_1"},{"volume-title":"Department of Computing Science","author":"A Santos","unstructured":"A Santos {Sept 1995}, \" Compilation by transformation in non-strict functional languages,\" Ph D thesis , Department of Computing Science , Glasgow University . A Santos {Sept 1995}, \"Compilation by transformation in non-strict functional languages,\" PhD thesis, Department of Computing Science, Glasgow University.","key":"e_1_3_2_1_24_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/63039.63043"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"ICFP96","name":"ICFP96: International Conference on Functional Programming","location":"Philadelphia Pennsylvania USA"},"container-title":["Proceedings of the first ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/232627.232630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:41:17Z","timestamp":1693863677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/232627.232630"}},"subtitle":["moving bindings to give faster programs"],"short-title":[],"issued":{"date-parts":[[1996,6,15]]},"references-count":25,"alternative-id":["10.1145\/232627.232630","10.1145\/232627"],"URL":"https:\/\/doi.org\/10.1145\/232627.232630","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/232629.232630","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1996,6,15]]},"assertion":[{"value":"1996-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}