{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:19:08Z","timestamp":1725711548427},"publisher-location":"London","reference-count":20,"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_7","type":"book-chapter","created":{"date-parts":[[2013,1,5]],"date-time":"2013-01-05T01:22:28Z","timestamp":1357348948000},"page":"96-110","source":"Crossref","is-referenced-by-count":1,"title":["Unboxing using Specialisation"],"prefix":"10.1007","author":[{"given":"Cordelia","family":"Hall","sequence":"first","affiliation":[]},{"given":"Simon L. Peyton","family":"Jones","sequence":"additional","affiliation":[]},{"given":"Patrick M.","family":"Sansom","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","first-page":"65","volume-title":"\u201cImplementing Haskell overloading,\u201d Functional Programming Languages and Computer Architecture","author":"L Augustsson","year":"1993","unstructured":"L Augustsson, \u201cImplementing Haskell overloading,\u201d Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993, 65\u201373."},{"key":"7_CR2","volume-title":"\u201cWheels, Life and Other Mathematical Amusements,\u201d W.H","author":"M Gardner","year":"1993","unstructured":"M Gardner, \u201cWheels, Life and Other Mathematical Amusements,\u201d W.H. Freeman and Company, New York, 1993."},{"key":"7_CR3","volume-title":"\u201cUsing Hindley-Milner type inference to optimise list representation,\u201d ACM Conference on Lisp and Functional Programming","author":"CV Hall","year":"1994","unstructured":"CV Hall, \u201cUsing Hindley-Milner type inference to optimise list representation,\u201d ACM Conference on Lisp and Functional Programming, Orlando, Florida, June 1994."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"R Harper & G Morrisett, \u201cCompiling Polymorphism Using Intensional Type Analysis,\u201d Technical Report CMU-CS-94\u2013185, School of Computer Science, Carnegie Mellon University, Sept 1994.","DOI":"10.21236\/ADA285340"},{"key":"7_CR5","volume-title":"Proc Sixth International Workshop on the Implementation of Functional Languages, Norwich","author":"PH Hartel","year":"1994","unstructured":"PH Hartel et al., \u201cPseudoknot: a float-intensive benchmark for functional compilers,\u201d in Proc Sixth International Workshop on the Implementation of Functional Languages, Norwich, JRW Glauert, ed., University of East Anglia, Norwich, Sept 1994."},{"key":"7_CR6","first-page":"213","volume-title":"21st ACM Symposium on Principles of Programming","author":"F Henglein","year":"1994","unstructured":"F Henglein & J Jorgensen, \u201cFormally optimal boxing,\u201d in 21st ACM Symposium on Principles of Programming Languages, ACM, Portland, Oregon, Jan 1994, 213\u2013226."},{"key":"7_CR7","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, \u201cReport on the functional programming language Haskell, Version 1.2,\u201d ACM SIGPLAN Notices 27 (5), May 1992.","DOI":"10.1145\/130697.130699"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"John Hughes, \u201cWhy functional programming matters,\u201d The Computer Journal 32 (2), April 1989.","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"7_CR9","volume-title":"\u201cPartial evaluation for dictionary-free overloading,\u201d Research Report YALE\/DCS\/RR-959","author":"MP Jones","year":"1993","unstructured":"MP Jones, \u201cPartial evaluation for dictionary-free overloading,\u201d Research Report YALE\/DCS\/RR-959, Dept of Computer Science, Yale University, April 1993."},{"key":"7_CR10","first-page":"177","volume-title":"\u201cUnboxed objects and polymorphic typing,\u201d 19th ACM Symposium on Principles of Programming Languages","author":"X Leroy","year":"1992","unstructured":"X Leroy, \u201cUnboxed objects and polymorphic typing,\u201d 19th ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, Jan 1992, 177\u2013188."},{"issue":"2","key":"7_CR11","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/169701.169696","volume":"15","author":"JC Mitchell","year":"1993","unstructured":"JC Mitchell & R Harper, \u201cOn the type structure of Standard ML,\u201d ACM Transactions on Programming Languages and Systems 15(2), April 1993, 211\u2013252.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1145\/117009.117017","volume":"13","author":"R Morrison","year":"1991","unstructured":"R Morrison, A Dearle, RCH Conner & AL Brown, \u201cAn ad-hoc approach to the implementation of polymorphism,\u201d ACM Transactions on Programming Languages and Systems 13 (3), July 1991, 342\u2013371.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"7_CR13","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1017\/S0956796800000691","volume":"3","author":"E Nocker","year":"1993","unstructured":"E Nocker & S Smetsers, \u201cPartially strict non-recursive data types,\u201d Journal of Functional Programming3(2), April 1993, 191\u2013217.","journal-title":"Journal of Functional Programming"},{"key":"7_CR14","volume-title":"\u201cA polymorphic unboxed calculus and efficient compilation of ML,\u201d Research Institute for Mathematical Sciences","author":"A Ohori","year":"1994","unstructured":"A Ohori & T Takamizawa, \u201cA polymorphic unboxed calculus and efficient compilation of ML,\u201d Research Institute for Mathematical Sciences, Kyoto University, Japan, 1994."},{"key":"7_CR15","first-page":"249","volume-title":"\u201cThe Glasgow Haskell compiler: a technical overview,\u201d Joint Framework for Information Technology (JFIT) Technical Conference Digest","author":"SL Peyton","year":"1993","unstructured":"SL Peyton Jones, CV Hall, K Hammond, WD Partain & PL Wadler, \u201cThe Glasgow Haskell compiler: a technical overview,\u201d Joint Framework for Information Technology (JFIT) Technical Conference Digest, Keele, March 1993, 249\u2013257."},{"key":"7_CR16","volume-title":"\u201cUnboxed values as first class citizens,\u201d Functional Programming Languages and Computer Architecture","author":"SL Peyton","year":"1991","unstructured":"SL Peyton Jones & J Launchbury, \u201cUnboxed values as first class citizens,\u201d Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, Sept 1991."},{"issue":"2","key":"7_CR17","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0956796800000708","volume":"3","author":"C Runciman","year":"1993","unstructured":"C Runciman & D Wakeling, \u201cHeap profiling of lazy functional programs,\u201d Journal of Functional Programming3(2), April 1993, 217\u2013245.","journal-title":"Journal of Functional Programming"},{"key":"7_CR18","volume-title":"\u201cExecution profiling for non-strict functional languages,\u201d PhD thesis, Research Report FP-1994-09","author":"PM Sansom","year":"1994","unstructured":"PM Sansom, \u201cExecution profiling for non-strict functional languages,\u201d PhD thesis, Research Report FP-1994\u201309, Dept of Computing Science, University of Glasgow, Sept 1994."},{"key":"7_CR19","volume-title":"\u201cTime and space profiling for non-strict, higher-order functional languages,\u201d 22nd ACM Symposium on Principles of Programming Languages","author":"PM Sansom","year":"1995","unstructured":"PM Sansom & SL Peyton Jones, \u201cTime and space profiling for non-strict, higher-order functional languages,\u201d 22nd ACM Symposium on Principles of Programming Languages, San Francisco, California, Jan 1995."},{"key":"7_CR20","volume-title":"Proc Sixth International Workshop on the Implementation of Functional Languages, Norwich","author":"PJ Thiemann","year":"1994","unstructured":"PJ Thiemann, \u201cUnboxed values and polymorphic typing revisited,\u201d in Proc Sixth International Workshop on the Implementation of Functional Languages, Norwich, JRW Glauert, ed., University of East Anglia, Norwich, Sept 1994."}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T02:41:06Z","timestamp":1557456066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3573-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199144","9781447135739"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3573-9_7","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}