{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:50Z","timestamp":1725636410659},"publisher-location":"London","reference-count":13,"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_4","type":"book-chapter","created":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T04:23:05Z","timestamp":1322108585000},"page":"43-57","source":"Crossref","is-referenced-by-count":0,"title":["A framework for optimising abstract data types"],"prefix":"10.1007","author":[{"given":"Cordelia V.","family":"Hall","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Wheels, Life and Other Mathematical Amusements","author":"M Gardner","year":"1983","unstructured":"Gardner, M., Wheels, Life and Other Mathematical Amusements, W.H.Freeman and Company, New York, 1983."},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0167-6423(89)90027-0","volume":"12","author":"CV Hall","year":"1989","unstructured":"Hall, C. V. and D. S. Wise, Generating function versions with rational strictness patterns, Science of Computer Programming 12 (1989) 39\u201374.","journal-title":"Science of Computer Programming"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Hudak, P., S. L. Peyton Jones, and P. Wadler, editors, Report on the Programming Language Haskell, version 1.2, ACM Sigplan Notices, 27(5), 1992.","DOI":"10.1145\/130697.130699"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Hall, C. V., K. Hammond, S. L. Peyton Jones, P. Wadler, Type Classes in Haskell, to appear in European Symposium on Programming, 1994.","DOI":"10.1007\/3-540-57880-3_16"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Hall, C. V., Using Hindley-Milner Type Inference to Optimise List Representation, Conf. on LISP and Functional Programming, 1994.","DOI":"10.1145\/182409.156781"},{"key":"4_CR6","volume-title":"Proc. Functional Languages and Computer Architecture","author":"MP Jones","year":"1993","unstructured":"Jones, M. P., A system of constructor classes: overloading and implicit higher-order polymorphism, Proc. Functional Languages and Computer Architecture, Copenhagen, DK, Springer-Verlag, (1993)."},{"key":"4_CR7","volume-title":"Proc. Functional Languages and Computer Architecture","author":"H Kuchen","year":"1993","unstructured":"Kuchen, H. and K. Gladitz, Parallel Implementation of Bags, Proc. Functional Languages and Computer Architecture, Copenhagen, DK, Springer-Verlag, (1993)."},{"key":"4_CR8","volume-title":"Proc. Principles of Programming Languages","author":"X Leroy","year":"1992","unstructured":"Leroy, X. Unboxed objects and polymorphic typing, in Proc. Principles of Programming Languages, New Mexico, USA, Springer-Verlag, (1992)."},{"key":"4_CR9","volume-title":"Proc. Principles of Programming Languages","author":"JC Mitchell","year":"1988","unstructured":"Mitchell, J.C. and R. Harper, The Essence of ML, Proc. Principles of Programming Languages, San Diego, California, Springer-Verlag, (1988)."},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0141-9331(86)90029-3","volume":"10","author":"SL Peyton Jones","year":"1986","unstructured":"Peyton Jones, S. L. \u201cUsing Futurebus in a Fifth Generation Computer\u201d, Microprocessors and Microsystems 10(2), (March 1986), pp. 69\u201376.","journal-title":"Microprocessors and Microsystems"},{"key":"4_CR11","volume-title":"Proc. Functional Languages and Computer Architecture","author":"SL Peyton Jones","year":"1991","unstructured":"Peyton Jones, S. L. and J. Launchbury, Unboxed values as first class citizens, Proc. Functional Languages and Computer Architecture, Boston, Springer-Verlag, (1991)."},{"key":"4_CR12","unstructured":"Shao, Z. J. H. Reppy and A. W. Appel, The efficient representation of lists in ML, to appear in Conf. on LISP and Functional Programming, 1994."},{"key":"4_CR13","volume-title":"Proc. Principles of Programming Languages","author":"P Wadler","year":"1987","unstructured":"Wadler, P. Views: A way for pattern matching to cohabit with data abstraction, Proc. Principles of Programming Languages, Munich, Germany, Springer-Verlag, (1987)."}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T20:32:52Z","timestamp":1560976372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3236-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198796","9781447132363"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3236-3_4","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}